Pages that link to "Item:Q530845"
From MaRDI portal
The following pages link to A dependent type theory with abstractable names (Q530845):
Displaying 8 items.
- Nominal essential intersection types (Q1643145) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- (Q4993353) (← links)
- (Q5141620) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- (Q6068934) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
