Axiomatic Domain Theory in Categories of Partial Maps (1994)

by M P Fiore
Venue:University of Edinburgh