Axiomatizing Fully Complete Models for ML Polymorphic Types
S. Abramsky and M. Lenisa
Details
| Book Title |
Proceedings of the International Symposium on Mathematical Foundations of Computer Science |
| Editor |
M. Nielsen and B. Rovan |
| Pages |
141−151 |
| Publisher |
Springer−Verlag |
| Series |
Springer Lecture Notes in Computer Science |
| Volume |
1893 |
| Year |
2000 |
Links
Related pages
|
People |