By Henk Barendregt (with others) OtherPapers
[2012] Reflection in the Chomsky Hierarchy, with V. Capretta and D. Kozen.
Computing and Information Science Technical Reports, Cornell University.
[2012] Loader and Urzyczyn are Logically Related with S. Salvati, G. Manzonetto, and M. Gehrke.
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012,
Lecture Notes in Computer Science 7392. Eds A. Czumaj, K. Mehlhorn, A.M. Pitts, and R. Wattenhofer, 364-376.
[2012] Conscious cognition as a discrete, deterministic, and universal Turing Machine process, with A. Raffone.
Alan Turing - His Work and Impact Eds. B. Cooper and J. van Leeuwen. Elsevier.
[2012] The imperative and functional programming paradigm, with G. Manzonetto and M. Plasmeijer
Alan Turing - His Work and Impact Eds. B. Cooper and J. van Leeuwen. Elsevier.
[2012] Turing's contributions to lambda calculus, with G. Manzonetto.
Alan Turing - His Work and Impact Eds. B. Cooper and J. van Leeuwen. Elsevier.
[2011] Reasoning about Constants in Nominal Isabelle, or how to Formalize the Second Fixed Point Theorem, with C. Kaliszyk.
Proc. of the First International Conference on Certified Programs and Proofs Eds. J.-P. Jouannaud and Zhong Shao, Springer, 87-102.
[2009] Foundations of Mathematics from the Perspective of Computer Mathematics.
In: Festschrift for Bruno Buchberger, Ed. Peter Paule. To appear, 16 pp.
[2009] Applications of infinitary lambda terms, with Jan Willem Klop.
Information and Computation, 207, 559-582.
[2009] Proofs of correctness in Mathematics and Industry.
Wiley Encyclopedia of Computer Science and Engineering, Ed. B. W. Wah. Wiley, 2284-2290.
[2009] Wiskunde, mystiek en natuurwetenschappen, Filosofie & praktijk 30 (4), 50-59.
[2008] Buddhist models of the mind and the common core thesis on mysticism.
Proceedings of the conference "One Hundred Years of Intuitionism (1907-2007)".
Eds. M. van Atten, M. Bourdeau, P. Boldini, and G. Heinzmann. Birkhauser, 131-145.
[Comparing the mystical experiences of Brouwer and Gödel in terms of concentration and insight meditation.]
[2008] Towards the range property for the lambda theory H.
Calculi, Types and Applications Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca.
Eds. S. Berardi and U. de' Liguoro. Theoretical Computer Science, 398, Elsevier, 12-15.
[2008] Laat de computer wiskundige stellingen bewijzen. [Title is not good, but chosen by Journal!]
In: Natuurwetenschappen en Techniek. Januari 2008.
[2006] Bewijzen: romantisch of cool, with F. Wiedijk
Euclides 81 (4), 175-179.