The following pages link to Monad as modality (Q1392142):
Displaying 7 items.
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus (Q897480) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
