Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations - Guy McCusker - Books - Springer London Ltd - 9781447111658 - October 23, 2012
In case cover and title do not match, the title is correct

Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

Guy McCusker

Price
R$ 321.90
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 7 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 23, 2012
ISBN13 9781447111658
Publishers Springer London Ltd
Pages 189
Dimensions 155 × 235 × 11 mm   ·   299 g
Language English  
Show all

More by Guy McCusker

See all of Guy McCusker ( e.g. Paperback Book and Hardcover Book )