Lecture Notes on the Lambda Calculus - Hardcover

Lecture Notes on the Lambda Calculus - Hardcover

$45.16
$45.16
Skip to product information
Lecture Notes on the Lambda Calculus - Hardcover
  • Lecture Notes on the Lambda Calculus - Hardcover
Lecture Notes on the Lambda Calculus - Hardcover

Lecture Notes on the Lambda Calculus - Hardcover

$45.16
$45.16

by Peter Selinger (Author)

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 and 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.

Number of Pages: 108
Dimensions: 0.31 x 9 x 6 IN
Publication Date: October 15, 2018

Intentional design

We make things that work better and last longer. Our products solve real problems with clean design.

Quality first

We obsess over the details and strive to deliver the best products at the best prices, every time.

Customer care

We're always on your side: keeping our loyal customers happy is our top priority and number one goal.

Feature 1

Made with care and unconditionally loved by our customers, this signature bestseller exceeds all expectations.

Feature 2

Made with care and unconditionally loved by our customers, this signature bestseller exceeds all expectations.

At the heart of every product lies a unique story, driven by our passion for quality and innovation. Each item enhances your everyday life and sparks joy.