Universal types and what they are good for (0)

by J Longley
Venue:Proc. 2nd Int. Symp. Domain Theory, Kluwer