A Fully Complete PER Model for ML Polymorphic Types
S. Abramsky and M. Lenisa
Details
| Book Title |
Proceedings of the Fourteenth International Workshop on Computer Science Logic |
| Editor |
P. Clote and H. Schwichtenberg |
| Pages |
140−155 |
| Publisher |
Springer−Verlag |
| Series |
Springer Lecture Notes in Computer Science |
| Volume |
1862 |
| Year |
2000 |
Links
Related pages
|
People |