The following pages link to Hybridizing a logical framework (Q2867954):
Displaying 9 items.
- A linear logical framework (Q1400718) (← links)
- Canonical HybridLF: extending Hybrid with dependent types (Q1744412) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- (Q4362967) (← links)
- Hybrid Categorial Logics (Q4842277) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- (Q5875401) (← links)