Artículos relacionados a Lambda Calculus with Types Hardback (Perspectives in...

Lambda Calculus with Types Hardback (Perspectives in Logic) - Tapa dura

Libro 3 de 17: Perspectives in Logic

Barendregt; Dekkers; Statman

 
9780521766142: Lambda Calculus with Types Hardback (Perspectives in Logic)
Tapa dura
ISBN 10: 0521766141 ISBN 13: 9780521766142
Editorial: Cambridge University Press, 2013

Sinopsis

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.

Acerca de los autores

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.

Editorial
Cambridge University Press
Año de publicación
2013
Idioma
Inglés
ISBN 10 
0521766141
ISBN 13 
9780521766142
Encuadernación
Tapa dura
Número de páginas
854
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania