An extension of the basic functionality theory for the $\lambda$-calculus.

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Natural Sciences, Mathematics, Algebra +9

Functional Characters of Solvable Terms

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

Natural Sciences, Mathematics, Differential Equations +4

A Set-Theoretical Definition of Application

Gordon Plotkin · 2003 · 35 citations

Natural Sciences, Computer Science, Mathematics +11

A sequent calculus for type assignment

Jonathan P. Seldin · Journal of Symbolic Logic · 1977 · 12 citations

Computing, Computer Science, Formal Methods +5