- Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.details
|
|
Combinatory Logic Vol. 1.Haskell Brooks Curry & Robert M. Feys - 1958 - Amsterdam, Netherlands: North-Holland Publishing Company.details
|
|
The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
Variables Explained Away.Willard V. Quine - 1960 - Journal of Symbolic Logic 32 (1):112-112.details
|
|
Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 1--14.details
|
|
Variable-free formalization of the Curry-Howard theory.William Tait - manuscriptdetails
|
|
Twenty Five Years of Constructive Type Theory.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Clarendon Press.details
|
|
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..details
|
|
Uber eine Naturliche Erweiterung des Relationenkalkuls.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (2):234-234.details
|
|
The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|