Matemática

Lambda Calculus With Types

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

Bertrand.pt - Lambda Calculus With Types
idioma: Inglês
Editor: CAMBRIDGE UNIVERSITY PRESS
Edição: junho de 2013
Portes
Grátis
20%
114,91€
91,93€
RESERVAR NA LIVRARIA Livrarias

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 
ISBN:
9780521766142
Ano de edição:
06-2013
Editor:
CAMBRIDGE UNIVERSITY PRESS
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
856
Tipo de Produto:
Livro
Coleção:
Perspectives In Logic
Classificação Temática:
Livros  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9780521766142
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.