Karst Koymans

Bibliography

Barendregt, Henk P. and Koymans, Karst. 1980. “Comparing Some Classes of Lambda-Calculus Models.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 287–302. New York: Academic Press.