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