Pages that link to "Item:Q733755"
From MaRDI portal
The following pages link to The \(\lambda \)-calculus and the unity of structural proof theory (Q733755):
Displaying 5 items.
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- The polarized \(\lambda\)-calculus (Q1744450) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications (Q6597960) (← links)
- Partial proof terms in the study of idealized proof search (Q6648177) (← links)
