Welcome to E-Books Directory
This is a freely downloadable e-book.

Lecture Notes on the Lambda Calculus

Lecture Notes on the Lambda Calculus
by Peter Selinger

Publisher: Dalhousie University 2007
Number of pages: 106

Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, denotational semantics, complete partial orders, and the language PCF.

Home page url

Download or read it online here:

Download link

 (460KB, PDF)