Corrado Böhm

Bibliography

Böhm, Corrado. 1980a. “Logic and Computers.” in Modern Logic. A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic, edited by Evandro Agazzi, pp. 297–309. Synthese Library n. 149. Dordrecht: D. Reidel Publishing Co.
Böhm, Corrado. 1980b. “An Abstract Approach to (Hereditary) Finite Sequences of Combinators.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 231–242. New York: Academic Press.