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
