Cursusmateriaal
Hanne Riis Nielson en Flemming Nielson:
Semantics with applications
, 1999 (boek,
PDF
)
Erik Barendsen:
Semantics of abrupt completion: a case study in natural semantics
(
PDF
)
Hans Zantema:
Termherschrijfsystemen
(
PDF
)
Opgavenbundel termherschrijfsystemen
Henk Barendregt en Erik Barendsen:
Introduction to lambda calculus
(
PDF
)
Opgavenbundel lambda-calculus