Lambda Calculus with Types (Perspectives in Logic)

Valutazione media 4,67
( su 3 valutazioni fornite da Goodreads )
 
9780521766142: Lambda Calculus with Types (Perspectives in Logic)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Book Description:

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.

About the Author:

Henk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands.

Wil Dekkers is an Associate Professor in the Institute of Information and Computing Sciences at Radboud University, Nijmegen, The Netherlands.

Richard Statman is a Professor of Mathematics at Carnegie Mellon University, Pittsburgh, USA.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Henk Barendregt, Wil Dekkers, Richard Statman
Editore: Cambridge University Press 2013-06-20, Ithaca, NY (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 10
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 2013-06-20, Ithaca, NY, 2013. hardback. Condizione libro: New. Codice libro della libreria 9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 65,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,34
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Henk Barendregt; Wil Dekkers; Richard Statman
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
MEGABOOKS CZ
(Prague, Repubblica Ceca)
Valutazione libreria
[?]

Descrizione libro Hardcover. Condizione libro: New. Codice libro della libreria 001514

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 39,74
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 30,52
Da: Repubblica Ceca a: U.S.A.
Destinazione, tempi e costi

3.

Barendregt, Henk; Dekkers, Wil; Statman, Richard
Editore: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Prima edizione Quantità: 1
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2013. Condizione libro: New. 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. . 2013. 1st Edition. Hardcover. . . . . . Codice libro della libreria V9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 71,72
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Irlanda a: U.S.A.
Destinazione, tempi e costi

4.

Henk Barendregt, Wil Dekkers, Richard Statman
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2013. Hardback. Condizione libro: New. Language: English . Brand New Book. 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. Codice libro della libreria AAU9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 72,15
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Barendregt, Henk
Editore: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2013. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 68,98
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

6.

Henk Barendregt, Wil Dekkers, Richard Statman
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2013. Hardback. Condizione libro: New. Language: English . Brand New Book. 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. Codice libro della libreria AAU9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 72,58
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Barendregt, Henk
Editore: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Quantità: 1
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2013. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria BB-9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,03
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Henk Barendregt; Wil Dekkers; Richard Statman
Editore: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2013. Condizione libro: New. book. Codice libro della libreria ria9780521766142_rkm

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 70,51
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,31
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Barendregt, Henk; Dekkers, Wil; Statman, Richard
Editore: Cambridge University Press
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
Kennys Bookstore
(Olney, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Condizione libro: New. 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. . 2013. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland. Codice libro della libreria V9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 75,90
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

10.

Henk Barendregt; Wil Dekkers; Richard Statman
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Quantità: 1
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97805217661420000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 79,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro