Henk P. Barendregt (barendregt)

Contributions to Philosophie.ch

Bibliography

Barendregt, Henk P. 1977. “The Type Free Lambda Calculus.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 1091–1132. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Barendregt, Henk P. 1981. The Lambda Calculus: Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics n. 103. Amsterdam: Elsevier Science Publishers B.V.
Barendregt, Henk P. 1984. “Lambda Calculus and its Models.” in Logic Colloquium ’82 – Proceedings of the Colloquium Held in Florence 23–28 August, 1982, edited by Gabriele Lolli, Giuseppe Longo, and Annalisa Marcja, pp. 209–239. Studies in Logic and the Foundations of Mathematics n. 112. Amsterdam: North-Holland Publishing Co.
Barendregt, Henk P. 1990. “Functional Programming and Lambda Calculus.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 321–364. Cambridge, Massachusetts: The MIT Press.
Barendregt, Henk P. 1992. “Lambda Calculi with Types.” in Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 118–310. Oxford: Oxford University Press.
Barendregt, Henk P. 1997. “The Impact of the Lambda Calculus in Logic and Computer Science.” The Bulletin of Symbolic Logic 3(2): 181–215.
Barendregt, Henk P. 2001. “Discriminating Coded Lambda Terms.” in Logic, Meaning and Computation: Essays in Memory of Alonzo Church, edited by Curtis Anthony Anderson and Michael Zelëny, pp. 275–286. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.
Barendregt, Henk P., Endrullis, Jörg, Klop, Jan Willem and Waldmann, Johannes. 2017. “Dance of the Starlings.” in Raymond Smullyan on Self Reference, edited by Melvin Chris Fitting and Brian Rayman, pp. 67–112. Outstanding Contributions to Logic n. 14. Cham: Springer.
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.
Barendregt, Henk P. and Longo, Giuseppe. 1980. “Equality of \(\lambda\)-Term in the Model \(T^\omega\).” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 303–338. New York: Academic Press.
Kamareddine, Fairouz, Wells, Joe, Zengler, Christoph and Barendregt, Henk P. 2014. “Computerizing Mathematical Text.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 343–397. Amsterdam: Elsevier Science Publishers B.V.