Subject: categories: Polymorphic lambda-calculus

From: Elaine Gouvea Pimentel <[email-masked]>
Date: Thu, 18 Mar 1999 11:33:10 -0300 (EST)

Hi!

I'd like to know if there is any categorical model for
polymorphic lambda-calculus.

Thanks,

Elaine.