The following pages link to Programs as proofs: A synopsis (Q1051424):
Displayed 4 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- 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)