adicionar à lista de desejos
Lambda Calculus With Types
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, junho de 2013 ‧
ver detalhes do produto
114,91€
10% DESCONTO
CARTÃO
WlZWMFZ6VTFUVzVtWjI5RlJtRTNhbWd4WjAxd1JqQjNaRE5aVVdKM2FtZEtTRU5oZUVNd2JUQXpSbmh3TTBnMlZIbzJTV0ZYVEhGeUwzRnpibGRJYVhGeVdHUklabWhzYzJOQlRscGtZalZKUjFvM1RWRjVjVEpYUWpCSk1XaHRaMFZEYnlzck9VOUNia3MzUzBVMEwxbHJkbFV6U2tOdVIyZHRiVVJGZERrM1RtbFlOVE4zWTFNeGFFRmtTV1ZWYUdOSVdFVmxLMjQwUkdGWFJsTm5hMmcwYmk5YVFsUkVSblkwUnpWQmFTc3dhRlZ3WlVGalVWVjNNa3BRZWs1YU1VVjZlVmRGV2twbWVURnZRa0ZJUmk4MGJVODVURFIzWXpNd09XSjFSbTAyVVZGaVJIWkNNRzFRUWpkM2QyaDRhM05OVERsT1RWWm9NVzQyY1VsblEwMTRiMHQzTWxJclZXMDBZVFZWWnpSelIxWnBZbmh5WkROeE4wVkhabTB4V25OSE0wNXplWGxYVUdaTU5XSkphekk0UTNwWlVsVmpkVTgzV1dwbk9VeEpaMjg0WVVaRE1tcGhkMjV6VlZoTWFXVjZlV2hEYWxkaldsUlFiWGRYY0d4eVptOHdaMkZhU1ZwbWNXWTBXWGxLYnpCV1VWTlVhbHBPTjJ0bGVTdHJSVkozWVZseWFsZG5kME5KWkZGMlRIbHJXVmxQVkhKQlNrTnBkV05TWWpGS1EyNXBXSEZGTmtsVmVGVTVaRXc1VGxka1UwOUNNVTlTWjNONk4wSTVjRGN5S3pJcmVtVlNNM1JqZDA1UVNuaDJTM2hFV0cxaEwzZzVRV2g0VlRsSFduVXdia1pFTlVWTWJXYzBhMmhqSzJwV2VYaE5kbWxuUzBSeVFtMVlVRlJoVFM4MkswdEJkbE15TnpWRFFUaDRVVWRRV1hWa1kwNW1WRXhJYkVwNEwyMUlNMDE0Y1RaSlJDdERWRWxHZGxKVU9GQlZkVE5MUzJOQmQySnJiVFZZYkhkbldtZFhhM0JpUzJ0V2FGTjBTbFZ1UTBSa1prYzBhWEIwUTA1UGFGYzFiVEZLUlZFeE9VczJUbGR1U2xCbk9UTXljMlJWVkVKcFNURnVWVTlxVFRaTVNWRmlTWE52VTBsME5HbFRXRWg2TVZOQ2RuSXhiVk5MYWt4MGIwSktlSEkwWmxobU5HSnZSSFJSZFhkMk5tdDROVVYyWWpaSlduWXlRVUpDU1hoM05qbFhjM1lyU1RWVGFXeHliV2xQVm5CTU5tdHJWbVZOTUVGd2RFOTFTbE5VTjA0MVMyTm9TUzlLTlhWcE5YUkNXbEV6TVhCa09YUkNiRVlySzBaeWVXWkhSWEp4ZEdSVlVURmlhVVV2Wm5ZeVJIaEhTM0pRUldvM01HNHhZMEZpTkZBMVNESnJWbFpZZEZOSVFqZFVNRUYyUlZsMWEzUkROME5VUm1OU1VBPT06TUV0NlI1WkdidjFycW5JRGlOS3I0dz09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| 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
-
10%Computable Structure TheoryCAMBRIDGE UNIVERSITY PRESS139,92€
155,47€portes grátis -
10%Computable Structure TheoryCAMBRIDGE UNIVERSITY PRESS162,23€ 10% CARTÃOportes grátis