Fall 2013

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

Advertisements

Spring 2012

LC Lambda Calculus

CX Introduction to Complexity

ML Formal languages, grammars, and machines