Lecture Notes on the Lambda Calculus

B

bookswholesale.myshopify.com Verified independent store

→

This is a set of lecture notes that developed out of courses on the lambda calculus that the author taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 a nd 2013. 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, polymorphism, type inference, denotational semantics, complete partial orders, and the language PCF., lambda calculus, logic, foundations of programming, , Peter Selinger| 9780359158850 | 106PAGES Show more