Items related to Lecture Notes on the Lambda Calculus
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Lecture Notes on the Lambda Calculus
Stock Image
Lecture Notes on the Lambda Calculus
Seller: PlumCircle, West Mifflin, PA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Publisher overstock. May have remainder mark / minor shelfwear. 99% of orders arrive in 4-10 days. Discounted shipping on multiple books. Seller Inventory # mon0001348220
Quantity: 1 available
Seller Image
Lecture Notes on the Lambda Calculus
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 34558536-n
Quantity: Over 20 available
Stock Image
Lecture Notes on the Lambda Calculus
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580135144
Quantity: Over 20 available
Stock Image
Lecture Notes on the Lambda Calculus
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780359158850
Quantity: Over 20 available
Stock Image
Lecture Notes on the Lambda Calculus
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780359158850
Quantity: 2 available
Seller Image
Lecture Notes on the Lambda Calculus
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 34558536
Quantity: Over 20 available
Seller Image
Lecture Notes on the Lambda Calculus
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardback. Condition: New. Seller Inventory # LU-9780359158850
Quantity: Over 20 available
Seller Image
Lecture Notes on the Lambda Calculus
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. Seller Inventory # LU-9780359158850
Quantity: Over 20 available
Stock Image
Lecture Notes on the Lambda Calculus
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780359158850
Quantity: Over 20 available
Stock Image
Lecture Notes on the Lambda Calculus
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780359158850
Quantity: Over 20 available