Masks are mandatory both when entering the room and when seated.

Additionally, you must check in when entering the room using the QRONITON contact tracing system.

In accordance with the rules set by the TUM, we will check your 2G status (recovered, vaccinated) before you enter the lecture hall.The weekly homework sheets will be marked but there won’t be a grade bonus.Only one of the two courses can be credited towards your degree. This course overlaps with the second half of the course Equational Logic and Lambda Calculus (IN2048).You can subscribe to all Lambda-* streams by visiting this stream and clicking the curry emoji. Questions regarding the lecture and exercises can be discussed on Zulip.The date of the first tutorial was changed. : The lecture hall as well as the time and date of the lecture were changed.: Added information about hygiene provisions.The homework submissions will be marked but there won’t be a grade bonus. : Homework submissions are managed with Moodle.: Homework solutions are now also published but only on Moodle.: Entered the correct starting time for the tutorial: 10:05.: Due to the Dies Academicus, the tutorial will not take place tomorrow.: Merry Christmas and a happy New Year! See you again in January.Due to the relatively high number of registrations, the exam will be a written exam. : The exam will take place on 8:00 - 9:30 in MW 2001.

Lambda calculus