Lambda Calculus with Types

Valutazione media 4,67
( su 3 valutazioni fornite da GoodReads )
 
9780521766142: Lambda Calculus with Types

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.

Recensione:

'The book has a place in undergraduate libraries because of its uniquely comprehensive, if theoretical, treatment of a timely, widely important subject. Recommended.' D. V. Feldman, Choice

'The authors have produced a well-written, organised and comprehensive account of three important type systems. These systems' properties have been rich sources of interest to logicians for many years; their problems are not all solved, and in future work this book will almost certainly become a standard reference about them. It will also allow the more mathematically inclined computer scientist to obtain a deeper understanding of the principles behind some of the higher order languages in current use.' Bulletin of the London Mathematical Society

Descrizione del libro:

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.

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

I migliori risultati di ricerca su AbeBooks

1.

Barendregt, Henk; Dekkers, Wil; Statman, Richard
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 42,85
Convertire valuta

Aggiungere al carrello

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

2.

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. 250 x 180 mm. 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 74,87
Convertire valuta

Aggiungere al carrello

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

3.

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 77,08
Convertire valuta

Aggiungere al carrello

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

4.

Barendregt, Henk; Dekkers, Wil; Statman, Richard
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 80,79
Convertire valuta

Aggiungere al carrello

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

5.

Henk Barendregt, Wil Dekkers, Richard Statman
Editore: Cambridge University Press
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 4
Print on Demand
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Hardback. Condizione libro: new. BRAND NEW PRINT ON DEMAND., Lambda Calculus with Types, Henk Barendregt, Wil Dekkers, Richard Statman, 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 B9780521766142

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 77,26
Convertire valuta

Aggiungere al carrello

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

6.

Barendregt, Henk
Editore: Cambridge University Press (2016)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780521766142_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 82,12
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,84
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à: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2013. HRD. Condizione libro: New. New Book. Delivered from our US warehouse in 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 76,07
Convertire valuta

Aggiungere al carrello

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

8.

HENK BARENDREGT , WIL DEKKERS , RICHARD STATMAN
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 2013. Hardback. Condizione libro: NEW. 9780521766142 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0474610

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 78,46
Convertire valuta

Aggiungere al carrello

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

9.

Barendregt; Dekkers; Statman
Editore: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
English-Book-Service Mannheim
(Mannheim, Germania)
Valutazione libreria
[?]

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

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 83,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

10.

Barendregt, Henk/ Dekkers, Wil/ Statman, Richard
Editore: Cambridge Univ Pr (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuovi Rilegato Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge Univ Pr, 2013. Hardcover. Condizione libro: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock. Codice libro della libreria __0521766141

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 83,98
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro