A Fully Complete PER Model for ML Polymorphic Types (2000)

Cached

Download Links

by Samson Abramsky , Marina Lenisa
Venue:Proceedings of CSL 2000, Springer LNCS Volume 1862
Citations:2 - 1 self