The following pages link to (Q2752048):
Displaying 4 items.
- A scalable module system (Q391632) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
