Reflection: a powerful ubiquitous logical phenomenon
Huygens Lecture September 7-November 2, 2007.
Survey: slides (in Dutch)
Turing Machines for students cognitive neuroscience
Minicourse Lambda Calculus and term rewriting systems
by H.P. Barendregt and J.W. Klop 16.02.2009-20.02.2009 (slides of lambda calculus part)
Han Fortmann Lectures: The Mind on the Brain and the Brain on the Mind
by Henk Barendregt and Karin Videc (January-March 2009)