A Game Semantics for Generic Polymorphism
S. Abramsky and R. Jagadeesan
Details
| Book Title |
Annals of Pure and Applied Logic |
| Pages |
3−37 |
| Volume |
133 |
| Year |
2005 |
Links
Related pages
|
People |