Games for recursive types
S. Abramsky and G. McCusker
Details
| Book Title |
Proceedings of the 1994 Workshop on Theory and Formal Methods |
| Editor |
C. L. Hankin |
| Pages |
1−20 |
| Publisher |
Imperial College Press |
| Year |
1995 |
Links
Related pages
|
People |