Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science)