[Prev][Next][Index][Thread]

categorical treatment of F_omega?






1. Could someone send me a good reference for a categorical treatment
of the Girard / Reynolds F_2 polymorphic type system?  That is,
polymorphic functions as (some form of) natural transformations?

2. More importantly, has there been a categorical treatment of
Girard's F_omega type system?

David