Lambda Calculus with Types (Perspectives in Logic)

4,67 valoración promedio
( 3 valoraciones por 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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 30,56
De Republica Checa a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Henk Barendregt; Wil Dekkers; Richard Statman
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 1
Librería
MEGABOOKS CZ
(Prague, Republica Checa)
Valoración
[?]

Descripción Hardcover. Estado de conservación: New. Nº de ref. de la librería 001514

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 39,44
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 30,56
De Republica Checa a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Henk Barendregt
Editorial: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2013. HRD. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IP-9780521766142

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 68,42
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Henk Barendregt
Editorial: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2013. HRD. Estado de conservación: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Nº de ref. de la librería IP-9780521766142

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 70,93
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,21
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Barendregt, Henk
Editorial: Cambridge University Press (2016)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780521766142_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 77,78
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,39
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

HENK BARENDREGT , WIL DEKKERS , RICHARD STATMAN
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 2013. Hardback. Estado de conservación: NEW. 9780521766142 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. de la librería HTANDREE0474610

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 77,51
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,07
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Barendregt, Henk/ Dekkers, Wil/ Statman, Richard
Editorial: Cambridge Univ Pr (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Cambridge Univ Pr, 2013. Hardcover. Estado de conservación: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock. Nº de ref. de la librería __0521766141

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 82,97
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,81
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Barendregt, Henk
Editorial: Cambridge University Press (2017)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 18
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2017. Hardcover. Estado de conservación: New. Never used! This item is printed on demand. Nº de ref. de la librería 0521766141

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 88,85
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,69
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Barendregt, Henk; Dekkers, Wil; Statman, Richard
Editorial: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 10
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2013. Hardcover. Estado de conservación: New. Nº de ref. de la librería INGM9780521766142

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 87,17
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Henk Barendregt, Wil Dekkers, Richard Statman
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2014)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2014. Hardback. Estado de conservación: New. Language: English . Brand New Book ***** Print on Demand *****.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. Nº de ref. de la librería APC9780521766142

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 100,45
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Henk Barendregt, Wil Dekkers, Richard Statman
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2014)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2014. Hardback. Estado de conservación: New. Language: English . Brand New Book ***** Print on Demand *****. 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. Nº de ref. de la librería APC9780521766142

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 101,10
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda