Extensional Constructs in Intensional Type Theory - Distinguished Dissertations - Martin Hofmann - Livros - Springer London Ltd - 9781447112433 - 22 de setembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Martin Hofmann
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Softcover reprint of the original 1st ed. 1997 edition

Preço
CA$ 219,41

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 18 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

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

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

216 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de setembro de 2011
ISBN13 9781447112433
Editoras Springer London Ltd
Páginas 216
Dimensões 155 × 235 × 12 mm   ·   331 g
Idioma Inglês  
Mostrar tudo

Mais por Martin Hofmann

Ver tudo de Martin Hofmann ( por exemplo Paperback Book , Hardcover Book , CD e Book )