The lecture provides an introduction to the untyped and typed lambda calculus, which is the logical foundation of many important applications to computer science
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
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.
Not necessary