The following pages link to (Q4215639):
Displaying 7 items.
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Computations on types (Q1065543) (← links)
- Typing in reflective combinatory logic (Q2498910) (← links)
- Intuitionistic Epistemology and Modal Logics of Verification (Q3457712) (← links)
- (Q4354787) (← links)
- Sets, types and type-checking (Q4943506) (← links)
- The mathematical significance of proof theory (Q5301856) (← links)