Beschreibung

The course provides an introduction to recursive function theory and lambda calculus, two important computational models.