The following pages link to (Q4247299):
Displaying 6 items.
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- Working with Mathematical Structures in Type Theory (Q3499757) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- Implicit coercions in type systems (Q4647565) (← links)
- Subtyping dependent types (Q5958760) (← links)
