Categorical data types in parametric polymorphism
Ryu Hasegawa · Mathematical Structures in Computer Science · 1994
The categorical data types in models of second order lambda calculus are studied. We prove that Reynolds parametricity is a sufficient and necessary condition for the categorical data types to fulfill the universal properties.