Axiomatizing Fully Complete Models for ML Polymorphic Types (2000)

by S Abramsky, M Lenisa
Venue:In Proceedings of the International Symposium on Mathematical Foundations of Computer Science