Description
1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.
Availability: In Stock
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
SKU: 9783540762553
Original price was: $89.00.$15.00Current price is: $15.00.
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations), Stanislav V. Emelyanov, 9783540762553
Description
Additional information
Additional information
| Publisher | |
|---|---|
| ISBN | |
| Date of Publishing | |
| Author | |
| Category | |
| Page Number |
Related products
-
The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks in Philosophy)
0Original price was: $61.00.$11.00Current price is: $11.00. -
-
Business Risk Management – Models and Analysis
0Original price was: $76.00.$14.00Current price is: $14.00. -
Lectures on von Neumann Algebras (Cambridge IISc Series)
0Original price was: $117.00.$17.00Current price is: $17.00.
Free Delivery
Orders over $100
100% Secure
Payment
Expert Customer
Service
payment
