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.
Other Popular Editions of the Same Title
Search results for Lecture Notes on the Lambda Calculus
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
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
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
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
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
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
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
Buy New
US$ 45.46
Shipping:
FREE
From United Kingdom to U.S.A.
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
Buy New
US$ 42.11
Shipping:
US$ 5.47
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Lecture Notes on the Lambda Calculus
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780359158850_new
Buy New
US$ 42.44
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Lecture Notes on the Lambda Calculus
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 318. Seller Inventory # C9780359158850
Buy New
US$ 40.93
Shipping:
US$ 18.32
From United Kingdom to U.S.A.
Quantity: Over 20 available