Capa do artigo Games And Full Abstraction For A Functional Metalanguage With Recursive Types
10% OFF

Games And Full Abstraction For A Functional Metalanguage With Recursive Types eBook

by Guy Mccusker
language: english
Publisher: SPRINGER LONDON, December of 2012 ‧
59,61€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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).

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

by Guy Mccusker

Property Description
ISBN: 9781447106159
Publisher: SPRINGER LONDON
Release Date: December of 2012
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Distinguished Dissertations
Categories: eBooks in English > Science > Mathematics
EAN: 9781447106159

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

GUY MCCUSKER

SEE MORE TITLES BY THIS AUTHOR