Springer
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Product Code:
9783540762553
ISBN13:
9783540762553
Condition:
New
$107.00
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
$107.00
1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.
| Author: G. McCusker |
| Publisher: Springer |
| Publication Date: Jul 31, 1998 |
| Number of Pages: 208 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 3540762558 |
| ISBN-13: 9783540762553 |
Related Products
