Monad as modality
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 431759 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Comprehending monads
- Constructive modal logics. I
- Constructivism in mathematics. An introduction. Volume II
- Notions of computation and monads
- On an intuitionistic modal logic
- Programs with continuations and linear logic
- Strong functors and monoidal monads
Cited in
(21)- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Cut-free Gentzen calculus for multimodal CK
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- scientific article; zbMATH DE number 1696886 (Why is no real title available?)
- Lewis meets Brouwer: constructive strict implication
- The Lemaître primordial atom and the monad method
- Monad-independent dynamic logic in HasCasl.
- The Isbell monad
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus
- A dual-context sequent calculus for the constructive modal logic S4
- The proof monad
- Game semantics for access control
- scientific article; zbMATH DE number 4059655 (Why is no real title available?)
- Fibrational modal type theory
- Connectionist computations of intuitionistic reasoning
- Notions of monad strength
- Domain-free \(\lambda\mu\)-calculus
- Abstract categorical semantics for resourceful functional reactive programming
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- A general method for proving decidability of intuitionistic modal logics
- Towards a common categorical semantics for linear-time temporal logic and functional reactive programming
This page was built for publication: Monad as modality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1392142)