The following pages link to (Q4012886):
Displayed 6 items.
- Uniform Heyting arithmetic (Q1772775) (← links)
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- Programs with continuations and linear logic (Q5096236) (← links)
- Refined program extraction from classical proofs (Q5957850) (← links)