The following pages link to Proofs as programs (Q3219093):
Displaying 11 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- Generalization from partial parametrization in higher-order type theory (Q1122980) (← links)
- A note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- Enumerating \(k\)-way trees (Q1313764) (← links)
- Automated higher-order complexity analysis (Q1827392) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language (Q2947456) (← links)
- (Q5087785) (← links)
- A higher-order interpretation of deductive tableau (Q5938542) (← links)
