10% de desconto

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

de Guy Mccusker
idioma: inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, junho de 1998 ‧
97,34€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

de Guy Mccusker

Propriedade Descrição
ISBN: 9783540762553
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Data de Lançamento: junho de 1998
Idioma: Inglês
Encadernação: Capa dura
Páginas: 224
Tipo de produto: Livro
Coleção: Distinguished Dissertations
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783540762553

LIVROS DA MESMA COLEÇÃO