Categories of chain-complete posets
- 31 December 1977
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 4 (2) , 125-135
- https://doi.org/10.1016/0304-3975(77)90031-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Chain-complete posets and directed sets with applicationsAlgebra universalis, 1976
- Data Types as LatticesSIAM Journal on Computing, 1976
- Program equivalence and context-free grammarsJournal of Computer and System Sciences, 1975
- Correct and optimal implementations of recursion in a simple programming languageJournal of Computer and System Sciences, 1974
- Initial algebra semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- Mechanizable proofs about parallel processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1973