The following pages link to On bunched typing (Q4461769):
Displaying 13 items.
- Bunched sequential information (Q266883) (← links)
- A logic of separating modalities (Q290917) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- A Simple Nominal Type Theory (Q2804939) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- A calculus for hardware description (Q3021415) (← links)
- Bunched polymorphism (Q3545274) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- (Q5109520) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)