Inductive types and type constraints in the second-order lambda calculus

The Expressiveness of Simple and Second-Order Type Structures

Steven Fortune, Daniël Leivant, Michael O’Donnell · Journal of the ACM · 1983 · 159 citations · Full text

Computing, Computer Science, Data Structures +7

The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations

Roberto M. Amadio, Kim B. Bruce, G. Longo · Logic in Computer Science · 1986 · 50 citations

Natural Sciences, Mathematics, Differential Equations +7

Type inference and Logical relations

Mario Coppo, Maddalena Zacchi · Logic in Computer Science · 1986 · 18 citations

Computing, Computer Science, Formal Methods +13