adicionar à lista de desejos
Games And Full Abstraction For A Functional Metalanguage With Recursive Types
idioma: inglês
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, junho de 1998 ‧
ver detalhes do produto
97,34€
10% DESCONTO
CARTÃO
U0dSNmVVWXdZM3BIVFRkallrVkRiRVpaWm5acldTdDFZVGRXVGpoSFRHY3pMelF6YjNoSVoxUlhOMGRqTlhWb1dUbGxUSGxEVEhkWGVGTjZTVzFCVWtGU1VEUnBRalkzTjNJd1EyaFhTVFk1TDNkRGNrdDNTR28zY1drNVprTmhhbVJHYzJWUFZFOTJibkJVVkRJeWNXRkJWM1pJTWtSQ1ZHRXllVkZOTDBkak5HUnlhV0pqTDBVNWRGcDNaMUJTVkc1NVdEaExWR3B2ZFM4dldWWkpiMWx2Wm1oVGFVNU1XSFJEVlc5cGJTODNPR0pCV0VOb2EyNVlSVEJxY2pWdFYybGlkRXR1VFhBNVdXVkNWQ3R5UzI5T04yRmFjR1ZHWVVWaVVFNW1Ua1ZDVUhOSmJFNXpkU3R0WWs5c2NYZ3dWV2h1YjBWTVlqWlVWV2R0VjJoVWVFZzFiakFyZWt0WmQzTkRVR3BHYUZreU1WaHhVRTFwTVcxM2VuTlBlbk5hWmpkWlMzRnJLelpFYzFCcmRtaFJWbUZpZFdJeFZXNVJTR0ZaVjJOYVZGUk9VbTFGTUdoa1lsTnZSV0prWm5FeGIxZEtaRFZQTUhSQ1RFdHZhMDVvVkhwTVNTdFJSbXRHYlRJM2RGcEdUbHBNVkhKSlFrTXhZekZtUldseFoxcHBkbTA1Ym1VNWNYSmFhMHhIVFZsUlltNVdSRmMyTlc5M1FrUmtNakZhY2l0aVIxaG5OMjVFWW1Zd1NpOUVkMGRpT1RrNFFuVlBNM2QwVFRoVWRVMDJURW8wWTJWTlpsbG5aWEpvWlhCWlMxa3pRWGRwZDJVNEwwZ3ZORTFhVjA5RWNWaDFjMWxUY0ZvMmR6UnFOVFJuUkVOUFFuTkNkRlU0VVRGblJtcEtNamxoYUhvelJ6SnhhSGhqUzBOS0syTTNlbWhvYm1oeVEybFVNbEV2VFhCMFJpdFZOa3R2T0VkQlZrbG5VM05QVHpJd01ESlpRVUp1VG0xVU5tVXpiMUl5YlRkb1lsWnlaalZzVVhsTkwzTjNhR0Z3ZUZGQlJWbDRTRGhXY0VsQlpHZ3dhbWQ0TWtkQmFEQlROVUp2WnpWd2IzVktTazlyVjFCSVVsVjVjR2w0VG05bVVYSTRjSGxvTWxWVE1UZEpZMHhNV2s1NWVYSnpkV1phWTNWR0wzUjVNV0ZxVXl0SkszRnZabTh5VHpBNUsyczRjM1IxZGpaUVUwNU5UVUpKZG5GTVdHcDJUbkowYUVGQmRGQkhWMEozYlhwck5HaEZLMEpzWnpsbk5uUkJabWxWVDNwSVNWaEphMGRXTXpVMmFEVmhiVVZwZEc5c09EYzJSMEpqTWtOTVZUUTRSMDFIYkhSck5XWnFhWHBTS3pKS2NVSTJUblZDZDFWcmRYQkhjWFpUYmpCTlExZDVNbWxJWTIxUk5rbDZibkl4SzJwU1RHTk5XbHB3U0M5dFdRPT06RE42RTJLL3h4VEVma0pGQlRGL284UT09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| 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
-
Inheritance Relationships For Disciplined Software Construction10%SPRINGER LONDON LTD97,34€ 10% CARTÃOportes grátis
-
Extensional Constructs In Intensional Type TheoryeBook10%SPRINGER LONDON158,34€ 10% CARTÃO