Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations - Guy McCusker - Livros - Springer London Ltd - 9781447111658 - 23 de outubro de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Guy McCusker
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 12 - 20 de jan de 2026
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

Também disponível como:

In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].

189 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de outubro de 2012
ISBN13 9781447111658
Editoras Springer London Ltd
Páginas 189
Dimensões 155 × 235 × 11 mm   ·   299 g
Idioma Inglês  

Ver tudo de Guy McCusker ( por exemplo Paperback Book e Hardcover Book )