This is a set of lecture notes that developed out of courses on the lambda
calculus that I taught at the University of Ottawa in 2001 and at Dalhousie
University in 2007. 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.
2020-02-20 03:07:32
462KB
lambda
1