The following pages link to Programs as proofs: A synopsis (Q1051424):
Displayed 3 items.
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras (Q1079357) (← links)
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (Q1820590) (← links)