• School of Computer Science
  Personal Web Page
• Module Home Page
• Slides

Slides for the Lectures

• Review of set-theoretical expressions
• Definition of well-formed Lambda-terms
• Evaluation of lambda-terms
• Effects
• Curry-Howard Isomorphism