On functors expressible in the polymorphic typed lambda calculus (1990)

by J C Reynolds, G D Plotkin
Venue:In Gérard Huet, editor, Logical Foundations of Functional Programming, chapter 7