Categories for fixpoint-semantics
- 1 October 1976
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02725428,p. 122-126
- https://doi.org/10.1109/sfcs.1976.9
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Bases for chain-complete posetsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1975
- The optimal fixedpoint of recursive programsPublished by Association for Computing Machinery (ACM) ,1975
- Recursive Functionals and Quantifiers of Finite Types ITransactions of the American Mathematical Society, 1959
- Adjoint functorsTransactions of the American Mathematical Society, 1958