10% de desconto
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, junho de 2013 ‧
114,91€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Lambda Calculus With Types

de Richard Statman, Wil (Radboud Universiteit Nijmegen) Dekkers e Henk (Radboud Universiteit Nijmegen) Barendregt

Propriedade Descrição
ISBN: 9780521766142
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: junho de 2013
Idioma: Inglês
Encadernação: Capa dura
Páginas: 856
Tipo de produto: Livro
Coleção: Perspectives In Logic
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780521766142

LIVROS DA MESMA COLEÇÃO