- A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.details
|
|
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.details
|
|
The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.details
|
|
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.details
|
|
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms.Giuseppe Longo - 1983 - Annals of Pure and Applied Logic 24 (2):153.details
|
|
The mathematical continuum, from intuition to logic.Giuseppe Longo - 1999 - In Jean Petitot, Francisco J. Varela, Bernard Pachoud & Jean-Michel Roy (eds.), Naturalizing Phenomenology: Issues in Contemporary Phenomenology and Cognitive Science. Stanford University Press.details
|
|
Handbook of Logic in Computer Science.S. Abramsky, D. Gabbay & T. Maibaurn (eds.) - 1992 - Oxford University Press.details
|
|
The calculus of constructions.Thierry Coquand & Gerard Huet - 1988 - Information And Computation 76 (2-3):95--120.details
|
|
Mathematical intelligence, infinity and machines: beyond Godelitis.Giuseppe Longo - 1999 - Journal of Consciousness Studies 6 (11-12):11-12.details
|
|