Axiomatic Domain Theory (1996)

by M P Fiore
Venue:in Categories of Partial Maps. Distinguished Dissertations in Computer Science