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
ZW5wd09VcEdNMVF2Y0djM2JUQmtaRVJuZGtKaWRXVXZhbVl3YmtGWVN6TkVTVGRzZFZKTFVFdEVVemRCVHl0a1dqQnpVeTlQZERod1pHNXNVelJ4U2t4M1lrSjNWVUpKVFhaR1dGaFRkRGh5VmtGcFJGVjJaVWxoZEU1MFVGQlJhV05pYnpNeFFsUnNSVXcyTTBsNlZrUjBMMjlOTUM5eE5UWnVNamx6TUhSU09VNHpUa1YzUzJ0dlJraFpSVlp5ZDBSRU1tUllOV3BSU1VRelVFMDVSUzlOVmtGRWJEaEVNMDEzWkhsNVUyTXpNSE5CT0d0MGVHaGFlVWQ0VUhsV1IzUlJWVUZMWjBkMVJVWlFOR3RpUjNaRE1WTmlNVk5XYjNCbU5GazVRM1pQTlRFeFdUVllNV05xZEVJMVVWWk5hbTVDUzJWblVuTjBXbTVFVGt0dk1UZzJkR3h1VWxWcGRqVjNOWFZDSzFGbE9YRlhjR2gyVFRRMFJYZHRTWFZYZDAxUWVHRnJXalZhZUdnellYaEhVVmhFV1dObVQwaGtTSEIwVHpaUlZpdE5VbVpYWW1WV2NuUmpTelpNVkhaa1pqZzJNSEJCVDNSbk1rSklWRTVXWm5FeFMzWlpaMWxGTW1seGFtSTJWakJGYkhoVU9ISmFXbTFOY0d4bEsySTNNbmQyZEVwNWNHcGhMMGxWT0dFclQwRnhUV0kxSzNsNFdHMW5PVmR4U0UxbWQwOVliRUYwVHpGcWVIZDZPVmgySzFGd1JYZGlOazQ1UlZjNWJHOXhlVzF0ZVdoc1V6UmtORnBCVTJaT1VXNXBkWEpwTlcxcWN6Wk1jSHBNVVhSbVdIRktSRGhRWVhGaGNHOXZOa2RWWkhrd1ZFRlVMMDVMWjJKMlIxVmFTMFJNWTA4NFkyWk5aSFYzTkVwblJuSkJaMWRRZFM5UVNUaHlUMUIzU2pCclJUTnJkM001YjFkQ1drd3lTMnRoUVdwUE4xUjJNRnB4WWpCdWN6SnFjazE2VmpVeWRXTmhjRWxxUm1WVGNqSnFiRUZ4ZWxjMFVIaEZOR05UYUVOTVlrMVVRMjlvTVhOMFV6RXJVSHB6ZUd4aVRrdFFXVmhuYVdjd2NrbEJRVVZTWkRCVmVVUkJXU3R6VG1kVFlVeDNTMVpRTms1MmNVeFNVbXgwT0ZKbE1qZHVkemxOWkZwRE5FNWlkekpUVjFNMGMyeEdNblZ4YTB0Q2JISkZWWEoyUnpVMVZFRmpVR1pJZW1Od1VHUjVaVEl4T0dKbWNWQk1UelZ6VG00MVRXRndjako2ZDNka1UwMTJVSEZrZUZCVmIxaGtVbXBCVXpSbk5tbHFPWE5EUm5ac2RtMVBVMGxSVjJKSlVGTnFNVTFJY1dGR2FGRjBTR3BWUlZwS1oyUnhWeTlYYTJwUWVXVjRkV1pTVTFoMmJsRm9Ra0YyV0ZSMGRGb3pOSFl4WlZZMFRBPT06NkxydkpUWXFxRlpIZStDYUhua0dMdz09
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
-
10%Inheritance Relationships For Disciplined Software ConstructionSPRINGER LONDON LTD97,34€ 10% CARTÃOportes grátis
-
eBook10%Extensional Constructs In Intensional Type TheorySPRINGER LONDON158,34€ 10% CARTÃO