Pages that link to "Item:Q1820596"
From MaRDI portal
The following pages link to Writing programs that construct proofs (Q1820596):
Displayed 5 items.
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- An intuitionistic theory of types with assumptions of high-arity variables (Q1192333) (← links)