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
TUZsMmVuWm1aVE16VVdkUWNsRllMM1pKTkZSdU4yMHZVbU5TU210Q01qZFVTVFF3VW1sMU4xZElNR0V2YlRsREx6bEJXR0ZKU21SNmVWVkhZMm80YUU1V1VsRXpRMHAyTDFSd1prVlJVWEpqTWpjNFVsUkZiaTlMWlV0aVMxbHhSRlJ4UzNkNFNGTTFVM2RFWWtWSU1YcDNlSEJNYWpCaFRITjZiMUpJYjFkYVRDOWpjWEZrV1VGTVkzaFFUSGg1WmxsVVNtazNTazVJV214T1VHaHFia1pvV1VScFdITXhaWFJ5YURabVVXRmhSMHRJVnpablFVbHNSa1Z3YlRSMGVYSnFWaTl4YTNKRk1sbGpaR2hOV0RCSVNsSnNiVEl3THpCbFRVaFBaRmg1UW10cVYxaENkVVZJVTFwSVlTOVVkRkpVUVhJM2IyaGxWMDB6ZWpRME1FbERWRE5wUzJSSk5WRXlTRFZOT1hCcFJIVjZVWEozUlVNd1VYWk5iVVZaY0U0d2RrSnFjVTlVWWk5cVUyZFhOSFpsTUc1TVJFcHBaM2RIYVVwc1NWSjVZV1pIWW5SaUwwUkpkbVZQWlZaTlZXZFRPVlJZUWxGUlVGbFlhbk4zTkZGWGFUaExWRkJwY25JclNIZFlWbGRSUldOaFZYb3JhaTltUVVwVVpFSk1jVVIyUjJ4bGFqZENibGd4TVROUFJHSklTSFJuWW01R2RYRnBhMWhJSzBGQ2QxbERRM2xKZVRoM2NWUkhZMk5LZUhsalJqaEJkM2hqZUZKa1JXNUlhMlpOU2xCUFVVNUhVVUpsSzNNeVlqTXdhMFZoTWxKUWRXeFFhbWh3ZVU5SGQwTjVXbmhaUTBjek5GaGpWblU0YVhkNmNGQlhjSE5NYmxFMlRYY3ZkRmd5Y0V3dk9XVXpNRUozVERGUVdUVnBUbGh2WjBobU9FWldOMm9yVkV4MmF6TmpSQzloZUZSbE4zTTRZa05zYUcwd0szbDJibGw1ZW1RME9XcE1SakJWVkZGc2RXOTFSRGhVV1V4eGRFWkhNRmhWVGxSeVFrSnZjMUo0WjBaSGVHWm5SV2t6U1dSQmIyeFZZMHh0Y2pJclFuSkpkbTVEZENzelVrRTFkVFJFUm1KTU5rUmpPQzl1ZGpjd1dXWkpTRWcwT0VWS2NqbDNhWHAxZFdsVWNucE9jekYyTlVoWGJGQnVPWFJyTUdsMllYQkVNRXg0ZVVWSVFVVmtUa0pxZVZkSGNXeEVibFZSYmxCcFRFaEhRMWxsWjJjellWTllkREU1T1dwMmFtcHhWSEZtWW1GMFIxTjNSWEpXTTFSa1JEWndZM1F4ZEVVd1NTczFSV2hUUWtselEzRmlMM0JwVjNaM2EyTnhjMmhoWlRSWFkzRnFjbGxSV0ZWalJIbGhSVGRrVGpkNWVFdHpTaTk2UzNWa2JXTkhkVWw0TlU4NFVGRlhaQ3N4V0VwU1p3PT06TExBZmNLczZOYmowNU53VXV5L2s0QT09
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