Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations - Guy McCusker - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540762553 - 1 de junho de 1998
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 1º edição

Preço
R$ 598,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out
Receba avisos sobre novos lançamentos de Guy McCusker

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

Também disponível como:

This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 1 de junho de 1998
ISBN13 9783540762553
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 224
Dimensões 150 × 220 × 20 mm   ·   467 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Guy McCusker