Verwandte Artikel zu Lecture Notes on the Lambda Calculus
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 24,59
EUR 3,40 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Lecture Notes on the Lambda Calculus
Beispielbild für diese ISBN
Lecture Notes on the Lambda Calculus
Anbieter: PlumCircle, West Mifflin, PA, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Very Good. Publisher overstock. May have remainder mark / minor shelfwear. 99% of orders arrive in 4-10 days. Discounted shipping on multiple books. Bestandsnummer des Verkäufers mon0001348220
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Lecture Notes on the Lambda Calculus
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2215580135144
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Lecture Notes on the Lambda Calculus
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 34558536-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Lecture Notes on the Lambda Calculus
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780359158850
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Lecture Notes on the Lambda Calculus
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9780359158850
Anzahl: 2 verfügbar
Foto des Verkäufers
Lecture Notes on the Lambda Calculus
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 34558536
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Lecture Notes on the Lambda Calculus
Anbieter: Rarewaves USA, OSWEGO, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. Bestandsnummer des Verkäufers LU-9780359158850
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Lecture Notes on the Lambda Calculus
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. Bestandsnummer des Verkäufers LU-9780359158850
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Lecture Notes on the Lambda Calculus
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780359158850
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Lecture Notes on the Lambda Calculus
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780359158850
Anzahl: Mehr als 20 verfügbar