Intersection types and lambda models

Call-by-name, call-by-value and the λ-calculus

Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations

Computing, Computer Science, Programming Languages +5

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

Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp.

Journal of Symbolic Logic · 1991 · 491 citations

Natural Sciences, Computer Science, Mathematics +8

Full Abstraction in the Lazy Lambda Calculus

Samson Abramsky, C.-H. Luke Ong · Information and Computation · 1993 · 238 citations

Computing, Computer Science, Algebra +8

Functional Characters of Solvable Terms

Massimiliano Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri · Mathematical logic quarterly · 1981 · 196 citations

Natural Sciences, Mathematics, Differential Equations +4