Universal types and what they are good for (2004)

by J Longley
Venue:In Domain Theory, Logic and Computation: Proceedings of the 2 nd International Symposium on Domain Theory