Pages that link to "Item:Q2752048"
From MaRDI portal
The following pages link to Nuprl's class theory and its applications (Q2752048):
Displaying 5 items.
- A scalable module system (Q391632) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Abstract parametric classes and abstract data types defined by classical and constructive logical methods (Q1342134) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)