A Fully Complete PER Model for (2000)

by S Abramsky, M Lenisa
Venue:ML Polymorphic Types, CSL2000, Springer Lecture Notes in Computer Science