The following pages link to Proofs and programs (Q1408657):
Displaying 8 items.
- On the expressive power of schemes (Q719245) (← links)
- Formal proof of a program: find (Q858911) (← links)
- Writing programs that construct proofs (Q1820596) (← links)
- A Nominal Axiomatization of the Lambda Calculus (Q3553919) (← links)
- Generalizing Automath by means of a lambda-typed lambda calculus (Q3793765) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- Important Issues in Foundational Formalisms (Q4842275) (← links)
- What Is the Difference Between Proofs and Programs? (Q5246110) (← links)