The following pages link to (Q4428311):
Displaying 4 items.
- The \(\lambda \)-calculus and the unity of structural proof theory (Q733755) (← links)
- Proofs, Upside Down (Q2937799) (← links)
- Extended Natural Deduction Images of Conversions from the System of Sequents (Q4659951) (← links)
- Partial proof terms in the study of idealized proof search (Q6648177) (← links)