A characterisation of the least-fixed-point operator by dinaturality
- 27 September 1993
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 118 (2) , 301-314
- https://doi.org/10.1016/0304-3975(93)90112-7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Cartesian closed categories of algebraic CPOsTheoretical Computer Science, 1990
- Categorical fixed point semanticsTheoretical Computer Science, 1990
- Functorial polymorphismTheoretical Computer Science, 1990
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- Categories for the Working MathematicianPublished by Springer Nature ,1971