Filter models with polymorphic types

A filter lambda model and the completeness of type assignment

Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini · Journal of Symbolic Logic · 1983 · 496 citations

Computing, Computer Science, Logic +13

The system F of variable types, fifteen years later

Jean-Yves Girard · Theoretical Computer Science · 1986 · 356 citations

Natural Sciences, Mathematics, Set Theory +6

Polymorphic type inference and containment

John C. Mitchell · Information and Computation · 1988 · 198 citations

Computing, Computer Science, Formal Methods +11

Lambda‐Calculus Models and Extensionality

Roger Hindley, G. Longo · Mathematical logic quarterly · 1980 · 118 citations

Computing, Computer Science, Mathematics +10

The completeness theorem for typing λ-terms

Roger Hindley · Theoretical Computer Science · 1983 · 100 citations

Computing, Computer Science, Formal Methods +11