On Functors Expressible in the Polymorphic Typed Lambda Calculus

• 1 July 1993
• journal article
• Published by Elsevier in Information and Computation
• Vol. 105  (1) , 1-29
• https://doi.org/10.1006/inco.1993.1037

Abstract

Keywords

• LAMBDA CALCULUS
• FUNCTORS EXPRESSIBLE
• POLYMORPHISM
• TYPED LAMBDA CALCULUS
• PREPRINT