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

0 Responses to “Fall 2013”



  1. Leave a Comment

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s