Christopher P. Wadsworth (wadsworth-cp)

Contributions à Philosophie.ch

Bibliography

Wadsworth, Christopher P. 1980. “Some Unusual \(\lambda\)-Calculus Numeral Systems.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 215–230. New York: Academic Press.