Selected papers that cite this one John C. Reynolds and Gordon D. Plotkin. On functors expressible in the polymorphic typed lambda calculus. Information and Computation, 105(1):1-29, July 1993.