Relational Limits in General Polymorphism
Ryu Hasegawa · 1994
Parametric models of polymorphic lambda calculus have the structure of enriched categories with cotensors and ends in some generalized sense, and thus have many categorical data types induced by them. The !-order minimum model is a parametric model.