9780521766142 - lambda calculus with types di barendregt, henk; dekkers, wil; statman, richard (19 risultati)
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 108,97
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 111,35
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,58
EUR 14,14 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,56
EUR 17,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, GB, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 155,02
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first… author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
Lingua: Inglese
Editore: Cambridge Univ Pr, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,98
EUR 23,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock.
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,65
EUR 68,14 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version… is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 209,38
EUR 9,15 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. 2013. 1st Edition. Hardcover. This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification. Series: Perspectives in Logic. Num Pages: 856 pages, 52 b/w illus. 300 exercises. BIC Classification: PBCD. Category: (P) Professional &… Vocational. Dimension: 179 x 249 x 49. Weight in Grams: 1634. . . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Cambridge University Press, GB, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 147,71
EUR 76,73 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first… author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 217,63
EUR 17,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 207,91
EUR 29,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 239,58
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
- Prima edizione
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 239,42
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. 2013. 1st Edition. Hardcover. This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification. Series: Perspectives in Logic. Num Pages: 856 pages, 52 b/w illus. 300 exercises. BIC Classification: PBCD. Category: (P) Professional &… Vocational. Dimension: 179 x 249 x 49. Weight in Grams: 1634. . . . . .
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 118,89
EUR 7,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. xxii + 833 52 Illus.
Lingua: Inglese
Editore: Cambridge University Press CUP, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
- Print on Demand
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 127,16
EUR 3,48 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. xxii + 833.
Lingua: Inglese
Editore: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 120,07
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. xxii + 833.
Lingua: Inglese
Editore: Cambridge Univ Pr, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 117,18
EUR 23,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2013
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
- Print on Demand
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 120,36
EUR 43,68 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated…in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types. Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Lingua: Inglese
Editore: Cambridge University Press, 2014
Serie: Perspectives in Logic, Libro 3 di 17. Libro 3 di 17 - Perspectives in Logic
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,13
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpecte…d mathematical beauty in three classes of.
