Lecture notes on the lambda calculus

Details Lecture notes on the lambda calculus Lecture notes on the lambda calculus

2008-04-22

arxiv.org/abs/0804.3434v1

Computer Science

Logic in Computer Science

106 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Lecture notes on the lambda calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Lecture notes on the lambda calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lecture notes on the lambda calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-674736