Pages that link to "Item:Q2948554"
From MaRDI portal
The following pages link to A Categorical Semantics for Linear Logical Frameworks (Q2948554):
Displayed 7 items.
- Game semantics for dependent types (Q1641014) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- Games for Dependent Types (Q3449463) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- A formal logic for formal category theory (Q6091184) (← links)