Lecture 1 (HB)

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)