Axiomatic domain theory in categories of partial maps
This thesis is an investigation into axiomatic categorical domain theory as needed for the denotational semantics of deterministic programming languages. To provide a direct semantic treatment of non-terminating computations, we make partiality the core of our theory. Thus, we focus on categories of...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1994
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561637 |