Title: Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science)
First published: March 25, 2004
Subjects: Programming languages (electronic computers), Axiomatic set theory