Condition: New.
Condition: New.
Condition: As New. Unread book in perfect condition.
Hardback. Condition: New.
Hardback. Condition: New.
US$ 42.26
Quantity: Over 20 available
Add to basketCondition: New. In.
US$ 40.00
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
US$ 40.74
Quantity: Over 20 available
Add to basketCondition: New.
Hardback. Condition: New.
US$ 41.53
Quantity: Over 20 available
Add to basketHardback. Condition: New.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
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: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 40.75
Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 318.
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis 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.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. Lecture Notes on the Lambda Calculus | Peter Selinger | Buch | Gebunden | Englisch | 2018 | [.] | EAN 9780359158850 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.