Articoli correlati a Lecture Notes on the Lambda Calculus
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 28,94
EUR 7,66 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Lecture Notes on the Lambda Calculus
Foto dell'editore
Lecture Notes on the Lambda Calculus
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Used book that is in clean, average condition without any missing pages. Codice articolo 51715295-6
Quantità: 1 disponibili
Foto dell'editore
Lecture Notes on the Lambda Calculus
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780359158850
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Lecture Notes on the Lambda Calculus
Da: Rarewaves USA, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. Codice articolo LU-9780359158850
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Lecture Notes on the Lambda Calculus
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. Codice articolo LU-9780359158850
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Lecture Notes on the Lambda Calculus
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. Codice articolo LU-9780359158850
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Lecture Notes on the Lambda Calculus
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. Codice articolo LU-9780359158850
Quantità: Più di 20 disponibili
Foto dell'editore
Lecture Notes on the Lambda Calculus
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780359158850
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Lecture Notes on the Lambda Calculus
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 34558536-n
Quantità: Più di 20 disponibili
Foto dell'editore
Lecture Notes on the Lambda Calculus
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780359158850
Quantità: Più di 20 disponibili
Foto dell'editore
Lecture Notes on the Lambda Calculus
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 318. Codice articolo C9780359158850
Quantità: Più di 20 disponibili