Games and Full Abstraction for a Functional Metalanguage with Recursive Types

By Guy McCusker

Book Overview

1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.

• Format: Hardcover
• Language: English
• ISBN: 3540762558
• ISBN13: 9783540762553
• Release Date: July 1998
• Publisher: Springer
• Length: 208 Pages
• Weight: 1.03 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"