Axiomatic Domain Theory in Categories of Partial Maps
収録刊行物
-
- PhD thesis, University of Edinburgh, 1994
-
PhD thesis, University of Edinburgh, 1994 1996
Cambridge University Press