categorical treatment of F_omega?

• To: categories@mta.ca, types@dcs.gla.ac.uk
• Subject: categorical treatment of F_omega?
• From: David Espinosa <espinosa@cs.columbia.edu>
• Date: Thu, 20 Jan 1994 17:24:00 -0500
• Approved: types@dcs.gla.ac.uk

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

• Prev: CORRECTION
• Next: paper announcement
• Index(es):
  • Main
  • Thread