108.030 Lambda Calculus
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022W, VO, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to deal with the following theorems:

Theorem of Lemma von Newman

Theorem of Church Rosser

Embedding of Recursive Functions

Students are supported in independently acquiring knowledge through literature.

Subject of course

The lecture is structured according to the standard volume of Lambda Calculus by henk Barendregt. Additionally, proof theoretic applicatiuons of the typed lambda calculus as the Curry-Howard isomorphism are presented

Teaching methods

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Mode of examination


Additional information

Interessierte mögen sich an den Vortragenden per e-mail wenden. Es wird ihnen auf Wunsch eine Kopie des Buches von Barendregt zur Verfügung gestellt. Die Vorlesung findet voraussichtlich in Blockform im Februar statt. Der genaue Termin wird noch bekanntgegeben.



Course dates

Tue17:00 - 19:0004.10.2022 Meeting room of the institute, Freihaus, green area, 5th floorPreliminary meeting

Examination modalities

Positive Absolvierung einer mündlichen Prüfung.

Course registration

Use Group Registration to register.

Group Registration

GroupRegistration FromTo
Lambda Kalkül18.10.2022 08:0005.11.2022 08:00



No lecture notes are available.