Jean-Jaques Lévy (levy-jj)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ginzburg, Jonathan, Khasidashvili, Zurab, Vogel, Carl, Lévy, Jean-Jaques and Vallduvı́, Enric, eds. 1998. The Tbilisi Symposium on Logic, Language and Computation: Selected Papers. Stanford, California: CSLI Publications.
Lévy, Jean-Jaques. 1980. “Optimal Reductions in the Lambda-Calculus.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 159–192. New York: Academic Press.