The following pages link to (Q2778831):
Displaying 8 items.
- From realizability to induction via dependent intersection (Q2636522) (← links)
- Visible Type Application (Q2802481) (← links)
- Redundancy Elimination for LF (Q2871840) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- (Q5089030) (← links)
- (Q6079236) (← links)
- Is Impredicativity Implicitly Implicit (Q6079240) (← links)
