Lambda Calculus with Types Hardback (Perspectives in Logic)

4,75 valoración promedio
( 4 valoraciones por Goodreads )
 
9780521766142: Lambda Calculus with Types Hardback (Perspectives in Logic)
Ver todas las copias de esta edición ISBN.
 
 

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.

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

Críticas:

'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

Biografía del autor:

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.

Los mejores resultados en AbeBooks

1.

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

Descripción Cambridge University Press, 2013. HRD. Condició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. del artículo: IQ-9780521766142

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 70,32
Convertir moneda

Añadir al carrito

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

2.

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

Descripción Cambridge University Press, 2013. HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9780521766142

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 69,26
Convertir moneda

Añadir al carrito

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

3.

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

Descripción 2013. Hardback. Condició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. del artículo: HTANDREE0474610

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 80,31
Convertir moneda

Añadir al carrito

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

4.

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

Descripción Cambridge University Press, 2018. Hardcover. Condición: New. Never used! This item is printed on demand. Nº de ref. del artículo: 0521766141

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 90,11
Convertir moneda

Añadir al carrito

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

5.

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

Descripción Cambridge Univ Pr, 2013. Hardcover. Condición: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock. Nº de ref. del artículo: __0521766141

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 85,81
Convertir moneda

Añadir al carrito

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

6.

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

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2014. Hardback. Condició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. del artículo: APC9780521766142

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 99,69
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

7.

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

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2014. Hardback. Condició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. del artículo: APC9780521766142

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 100,11
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

8.

Barendregt, Henk; Dekkers, Wil; Statman, Richard
Publicado por Cambridge University Press
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevo Tapa dura Cantidad disponible: > 20
Librería
Russell Books
(Victoria, BC, Canada)
Valoración
[?]

Descripción Cambridge University Press. Hardcover. Condición: New. 0521766141 Special order direct from the distributor. Nº de ref. del artículo: ING9780521766142

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 105,34
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,17
De Canada a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Henk Barendregt; Wil Dekkers; Richard Statman
Publicado por Cambridge University Press (2013)
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevo Tapa dura Cantidad disponible: 1
Librería
Irish Booksellers
(Portland, ME, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2013. Condición: New. book. Nº de ref. del artículo: M0521766141

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 122,37
Convertir moneda

Añadir al carrito

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

10.

Henk Barendregt
Publicado por Cambridge University Press
ISBN 10: 0521766141 ISBN 13: 9780521766142
Nuevo Tapa dura Cantidad disponible: > 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Hardcover. Condición: New. 856 pages. Dimensions: 9.8in. x 7.1in. x 2.0in.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 authors 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Hardcover. Nº de ref. del artículo: 9780521766142

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 125,81
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
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