Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Publisher: Springer
Published: Oct 23, 2012
Format: paperback
Number of pages: 202
ISBN-13: 9781447111658
Notes: Source title: Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)