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.

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.

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

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido 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
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2014)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 1
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. 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 AAU9780521766142

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

Comprar nuevo
EUR 67,04
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

2.

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 38,86
Convertir moneda

Añadir al carrito

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

3.

Barendregt, Henk
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 67,47
Convertir moneda

Añadir al carrito

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

4.

Barendregt, Henk; Dekkers, Wil; Statman, Richard
Editorial: Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Primera edición Cantidad: 1
Librería
Valoración
[?]

Descripción Cambridge University Press, 2013. Estado de conservación: 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. . . . . . Nº de ref. de la librería V9780521766142

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

Comprar nuevo
EUR 71,93
Convertir moneda

Añadir al carrito

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

5.

Henk Barendregt, Wil Dekkers, Richard Statman
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2014)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 1
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. 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 AAU9780521766142

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

Comprar nuevo
EUR 72,33
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

6.

Henk Barendregt, Wil Dekkers, Richard Statman
Editorial: Cambridge University Press 2013-06-20, Ithaca, NY (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 10
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press 2013-06-20, Ithaca, NY, 2013. hardback. Estado de conservación: New. Nº de ref. de la librería 9780521766142

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

Comprar nuevo
EUR 66,48
Convertir moneda

Añadir al carrito

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

7.

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

Descripción Cambridge University Press, 2013. HRD. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería BB-9780521766142

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

Comprar nuevo
EUR 65,78
Convertir moneda

Añadir al carrito

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

8.

Henk Barendregt, Wil Dekkers, Richard Statman,
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevos Tapa dura Cantidad: 1
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Hardback. Estado de conservación: New. Not Signed; 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 fi. book. Nº de ref. de la librería ria9780521766142_rkm

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

Comprar nuevo
EUR 71,68
Convertir moneda

Añadir al carrito

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

9.

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

Descripción Cambridge University Press. Estado de conservación: 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. Nº de ref. de la librería V9780521766142

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

Comprar nuevo
EUR 77,76
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Barendregt, Henk
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 69,29
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,19
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