Picture 1 of 1

Stock photo

Lecture Notes on the Lambda Calculus by Peter Selinger: New - Picture 1 of 1

Lecture Notes on the Lambda Calculus by Peter Selinger (2018, Hardcover)

AlibrisBooks (463243)

98.6% positive feedback

Price:

$32.14

Free shipping

Estimated delivery Fri, Aug 22 - Thu, Aug 28

Returns:

30 days returns. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Brand New

New Hard cover

About this product

Product Identifiers

PublisherLulu Press, Inc.

ISBN-100359158854

ISBN-139780359158850

eBay Product ID (ePID)6038310373

Product Key Features

Book TitleLecture Notes on the Lambda Calculus

Number of Pages106 Pages

LanguageEnglish

TopicGeneral

Publication Year2018

IllustratorYes

GenreScience

AuthorPeter Selinger

FormatHardcover

Dimensions

Item Height0.4 in

Item Weight13.7 Oz

Item Length9 in

Item Width6 in

Additional Product Features

Intended AudienceTrade

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