The following pages link to (Q4357062):
Displaying 6 items.
- Unifying sets and programs via dependent types (Q408534) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Nuprl's class theory and its applications (Q2752048) (← links)
- ν-Types for Effects and Freshness Analysis (Q3393400) (← links)
- Unifying Sets and Programs via Dependent Types (Q3605541) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)