Articles liés à 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 28,96
EUR 6,82 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Lecture Notes on the Lambda Calculus
Image d'archives
Lecture Notes on the Lambda Calculus
Edité par
Lulu Press, Inc., 2018
ISBN 10 : 0359158854
ISBN 13 : 9780359158850
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 51715295-6
Quantité disponible : 1 disponible(s)
Image d'archives
Lecture Notes on the Lambda Calculus
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780359158850
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Lecture Notes on the Lambda Calculus
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. N° de réf. du vendeur LU-9780359158850
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Lecture Notes on the Lambda Calculus
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. N° de réf. du vendeur LU-9780359158850
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Lecture Notes on the Lambda Calculus
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. N° de réf. du vendeur LU-9780359158850
Quantité disponible : Plus de 20 disponibles
Image d'archives
Lecture Notes on the Lambda Calculus
impression à la demandeVendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 318. N° de réf. du vendeur C9780359158850
Quantité disponible : Plus de 20 disponibles
Image d'archives
Lecture Notes on the Lambda Calculus
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780359158850
Quantité disponible : Plus de 20 disponibles
Image d'archives
Lecture Notes on the Lambda Calculus
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780359158850_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Lecture Notes on the Lambda Calculus
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. N° de réf. du vendeur LU-9780359158850
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Lecture Notes on the Lambda Calculus
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 34558536-n
Quantité disponible : Plus de 20 disponibles