Pages that link to "Item:Q800719"
From MaRDI portal
The following pages link to Propositions and specifications of programs in Martin-Löf's type theory (Q800719):
Displaying 6 items.
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Constructing recursion operators in intuitionistic type theory (Q1094421) (← links)
- Terminating general recursion (Q1112584) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- An intuitionistic theory of types with assumptions of high-arity variables (Q1192333) (← links)
- The foundation of a generic theorem prover (Q1823013) (← links)
