Order completion monads
- 1 December 1983
- journal article
- research article
- Published by Springer Nature in Algebra universalis
- Vol. 16 (1) , 63-82
- https://doi.org/10.1007/bf01191754
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Computability concepts for programming language semanticsTheoretical Computer Science, 1976
- Schemes with recursion on higher typesPublished by Springer Nature ,1976
- Algebraic TheoriesPublished by Springer Nature ,1976
- Adjoint Lifting Theorems for Categories of AlgebrasBulletin of the London Mathematical Society, 1975
- Initial algebra semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- Free monoidsJournal of Algebra, 1974
- Closed categories generated by commutative monadsJournal of the Australian Mathematical Society, 1971
- Closed CategoriesPublished by Springer Nature ,1966
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963