Parametricity and variants of Girard’s (1999)

by R Harper, J Mitchell
Venue:J operator, Information Processing Letters