Taut Monads, Dynamic Logic and Determinism
DOI10.1016/j.entcs.2007.02.037zbMath1316.68068OpenAlexW2022787866WikidataQ126266007 ScholiaQ126266007MaRDI QIDQ5262941
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.037
filterdynamic logicrestriction categorytaut monadBoolean categorycollection typedeterministic maplocally Boolean poset
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- A class of fuzzy theories
- Taut monads and \(T0\)-spaces.
- Boolean restriction categories and taut monads
- Coequalizers and free triples
- Predicate Transformer Semantics
- Boolean and classical restriction categories
- Filter Monads, Continuous Lattices and Closure Systems
- Implementing collection classes with monads
- Comprehending monads
- Restriction categories. I: Categories of partial maps
This page was built for publication: Taut Monads, Dynamic Logic and Determinism