Polymorphic lambda-calculus

18 Mar 1999

      Hi!

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

Thanks,

Elaine.

Elaine Gouvea Pimentel