**Reflection: an ubiquitous universal mechanism
**

Taught by Henk Barendregt

Assisted by Joshua Moerman

HG00.307 on Mondays 17:30-19:30

HG00.303 on Wednesdays 17:30-19:30

Lecture Notes

11.11 Overview

18.11 Languages

20.11 Exercises (languages). Solutions.

25.11 Meta-awareness (Center for Mindfulness, Erasmuslaan 15)

27.11 Combinators (this will be a lecture!)

02.12 Lambda calculus 1

04.12 Exercises (combinators) Solutions

09.12 Lambda calculus 2

11.12 Exercises (lambda calculus 1) Warmup. Solutions

16.12 Reflection 1

18.12 Exercises (lambda calculus 2) Solutions.

06.01 No lecture

08.01 Exercises (Reflection 1) Solutions.

13.01 Reflection 2

15.01 Exercises (Reflection 2) Solutions.

Extra trial for examination.

27.01(?) Tentamen