The following pages link to A dependent nominal type theory (Q2881075):
Displaying 6 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- A dependent type theory with abstractable names (Q530845) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- (Q5028425) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
