By Henk Barendregt (with others) OtherPapers

[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.

[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] Reflection in the Chomsky Hierarchy, with V. Capretta.

In: Liber Amicorum for Roel de Vrijer, Eds. Klop, van Oostrom and van Raamsdonk. 13-20.

[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.