Pages that link to "Item:Q2819785"
From MaRDI portal
The following pages link to Integrating Linear and Dependent Types (Q2819785):
Displayed 8 items.
- Fibrational modal type theory (Q1744413) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- A formal logic for formal category theory (Q6091184) (← links)
- Additive types in quantitative type theory (Q6160747) (← links)