Artículos relacionados a Lambda Calculus with Types Hardback (Perspectives in...
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:
'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
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.
- EditorialCambridge University Press
- Año de publicación2013
- ISBN 10 0521766141
- ISBN 13 9780521766142
- EncuadernaciónTapa dura
- Número de páginas854
- Valoración
Comprar nuevo
Ver este artículo
EUR 96,15
Gastos de envío:
EUR 3,73
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Lambda Calculus with Types (Perspectives in Logic)
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190014106
Comprar nuevo
EUR 96,15
Convertir moneda
Imagen del vendedor
Lambda Calculus With Types
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 12249894-n
Comprar nuevo
EUR 97,44
Convertir moneda
Imagen de archivo
Lambda Calculus with Types
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 4f0c72caf2615d5c89d9abd96d7d93cd
Comprar nuevo
EUR 90,12
Convertir moneda
Imagen de archivo
Lambda Calculus with Types (Perspectives in Logic)
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. In. Nº de ref. del artículo: ria9780521766142_new
Comprar nuevo
EUR 90,58
Convertir moneda
Gastos de envío:
EUR 11,62
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Lambda Calculus with Types
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9780521766142_lsuk
Comprar nuevo
EUR 91,38
Convertir moneda
Gastos de envío:
EUR 11,62
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Lambda Calculus With Types
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 12249894-n
Comprar nuevo
EUR 90,57
Convertir moneda
Gastos de envío:
EUR 17,47
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Lambda Calculus with Types (Perspectives in Logic) by Barendregt, Henk, Dekkers, Wil, Statman, Richard [Hardcover ]
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Hardcover. Condición: new. Nº de ref. del artículo: 9780521766142
Comprar nuevo
EUR 111,03
Convertir moneda
Imagen de archivo
Lambda Calculus With Types
Publicado por
Cambridge Univ Pr
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock. Nº de ref. del artículo: __0521766141
Comprar nuevo
EUR 106,31
Convertir moneda
Gastos de envío:
EUR 11,64
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Lambda Calculus with Types (Perspectives in Logic)
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Buy with confidence! Book is in new, never-used condition. Nº de ref. del artículo: bk0521766141xvz189zvxnew
Comprar nuevo
EUR 124,88
Convertir moneda
Imagen de archivo
Lambda Calculus with Types (Perspectives in Logic)
Publicado por
Cambridge University Press
(2013)
ISBN 10: 0521766141
ISBN 13: 9780521766142
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New! This book is in the same immaculate condition as when it was published. Nº de ref. del artículo: 353-0521766141-new
Comprar nuevo
EUR 124,88
Convertir moneda