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.

2018W, VO, 2.0h, 3.0EC

Properties

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

Aim of course

The lecture provides an introduction to the untyped and typed lambda calculus, which is the logical foundation of many important applications to computer science

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

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.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu16:00 - 16:3011.10.2018 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, Freihaus, grüner Bereich, 5. Stock, DA05 C22Vorbesprechung

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

English