Lambda-Calculus and Combinators: An Introduction - Hindley, J. Roger (University of Wales, Swansea) - Livros - Cambridge University Press - 9780521898850 - 24 de julho de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

Hindley, J. Roger (University of Wales, Swansea)
Lambda-Calculus and Combinators: An Introduction 2 Revised edition

Preço
R$ 615,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Hindley, J. Roger (University of Wales, Swansea)

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

358 pages, 10 b/w illus. 1 table 55 exercises

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 24 de julho de 2008
ISBN13 9780521898850
Editoras Cambridge University Press
Páginas 358
Dimensões 159 × 237 × 24 mm   ·   670 g
Idioma Inglês  

Mais por Hindley, J. Roger (University of Wales, Swansea)

Mostrar tudo

Mais da mesma editora

Ver tudo de Hindley, J. Roger (University of Wales, Swansea)