Axiomatizing Fully Complete Models for ML Polymorphic Types
S. Abramsky and M. Lenisa infobook 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
BibTeX
Download (ps)
related pages
|
