Conte aos seus amigos sobre este item:
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
Guy McCusker
Preço
¥ 9.980,96
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 16 - 25 de jun
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
Guy McCusker
In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].
189 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de outubro de 2012 |
| ISBN13 | 9781447111658 |
| Editoras | Springer London Ltd |
| Páginas | 189 |
| Dimensões | 155 × 235 × 11 mm · 299 g |
| Idioma | English |
Mostrar tudo
Mais por Guy McCusker
Ver tudo de Guy McCusker ( por exemplo Hardcover Book e Paperback Book )