The following pages link to (Q3964564):
Displaying 5 items.
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- Towards a proof theory for quantifier macros (Q2672659) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)