Categories for fixpoint semantics
A precise meaning is given to general recursive definitions of functionals of arbitrarily high type, including non-deterministic definitions. Domain equations involving products, sums, powers and functor domains are solved. The use of categories with ω-colimits as semantic domains is investigated an...
| Main Author: | |
|---|---|
| Published: |
University of Warwick
1976
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.595737 |