Pages that link to "Item:Q4236755"
From MaRDI portal
The following pages link to Computational types from a logical perspective (Q4236755):
Displaying 23 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Cooper storage idiom (Q1711505) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Intuitionistic conditional logics (Q2194118) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- 1999 European Summer Meeting of the Association for Symbolic Logic (Q4953838) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- (Q5119390) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Control effects as a modality (Q5302644) (← links)
- (Q5863853) (← links)
