Monad as modality
- 30 March 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 175 (1) , 29-74
- https://doi.org/10.1016/s0304-3975(96)00169-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Notions of computation and monadsInformation and Computation, 1991
- Constructive modal logics IAnnals of Pure and Applied Logic, 1990
- Strong functors and monoidal monadsArchiv der Mathematik, 1972