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
V2pGdWNWRlFVVTlCWVhaSFNsQjRUSFpIZVRBelpVUlFVblYxVVV4cE1VZEhXazVaVG1kNlNVdEJTU3RIWlhKaFNVcFJXVkk1WkcxS2NHUjFRV0p4TjFKR05tTnNRazlUUVd0TVRrbDNOQzkyWkRGeU9VVnNjVlJLTXpWaGJ6YzVVR1I2YlN0dWFsVm1WMlI1WmxGWlRTdG1aek50WlU4NVRrVnlZakprUldSb2EwSjVZelU0YkRkaU5tRkNOM052YUhoNFVHVnpUbFZHUVRWcmRVSnNkMk5oZUVVd2FsZ3ZSRGhaSzBoc05sWk5UR2N3UkVwQ1RVUjRTbE16VWtZd1lUVmpXazlHYWtVeVQwZEZTV0Y2WXpoaVRsZDZNbmxLY1V4UFlVRkNRbXBKTDFoalVERkhZbEF3T1dWNWFraFZWMGhrVTBzMVdGcDJPRWRFTVM5cFlXdHNablVyWVdReFVWQTJXVUk1YmpGdk1FRk1WbFZFTjI5QllWTjFSQzl1Uml0dFpUbFdOekYwTVZKeWNIQnZhWGwyUlZCdEwwdFFVV1p2WVd0d2IwTnhOVkEzY1RKcmIxQkJOa3RuYldjNVpHSldSVzFOVVVORGNHWjFTVEE1Y0c0NGQxSktUbUZ4Y1ZoWlVXUlZiWFExWkd4MGNGZzJhV2htY2tOVU9YcDVVMEpzUW5WTWVIWlRWMFl2TDA1M05EQjZTbTUyYm1WYWIwODNkR1o2U0hGdmQyOU9aVXRTVGxoNU5qVXZkbVV3U0hWbWMxaFpZVTVYVG1KalNGaE1lbXh6TTFsb1pIWlZNVVEwU1dsa1ZuZHNTRzFqUVc1VFFYRTRXWFpoYlRjMWNsTjRPRlZrZDNWU0x6aDNUVkUyWmtkS1FtcEdibnBYTDNocU9FVk5VM3A0TlZOcE1UWkRNVTlQU1dSelNHVm5WV0ppTWpGNGNreEtOa1ExTm5NeWEzbEZVazlKVFdSbGRYQjVhVWN4ZEVsTU9UZFpaWFFyZG5aaFlrMVpNa2hvUm1rMlRtSmpOak5FTlRZMUsxSm5NRUZNWVdwS1MyWlhObTFxY25KUWIxVm1Rak01WVRCVFZ6bEhhWEpUZG5aVGFrSkVja0k1ZG01UlJqWm5kR0pPTjNGRFFucExaM05zVVdrMFdYbHpTMDVSUXlzMVRESXZNa2RTTmxCdFpEWnpjRmxRWTBWS1ptTkpRalpvWjJJelVtTjVZVEk1YkdvMVpISkdSSGhWVlZOYWMyWldUaTlUVjNsSU5rcEtUVmhWYW5SMEswbHVaakVyYVdKUlFXdDJhMms0TTJKTVZubFRLM0J5VmxSUGRtNHhSVEZUVnpnNVlqSlVhRE5pVFZOYVdGazNiMGhaUVU5WVMwNHliVkpyZWs1SmVGZEZWVXRIY1V4TVZ6QlVaR1p2U21SVWNrUlNMekpXZERNdlpXNVRSa000VlZSbk1uRlBRVGhqZVhBNGVnPT06VjJtZ21jYnVhbThTV0Mya2dsVzVBdz09
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
-
Computable Structure Theory10%CAMBRIDGE UNIVERSITY PRESS139,92€
155,47€portes grátis -
Computable Structure Theory10%CAMBRIDGE UNIVERSITY PRESS154,11€ 10% CARTÃOportes grátis