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

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

Price
Íkr 6,879
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 16 - 24

Our customers say:

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

Also available as:

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  

Mere med samme udgiver

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