Alexander S. Kuzichev (kuzichev)

Contributi a Philosophie.ch

Bibliography

Kuzichev, Alexander S. 1980. “Sequential Systems of \(\lambda\)-Conversion and of Combinatory Logic.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 141–156. New York: Academic Press.