Pages that link to "Item:Q1275632"
From MaRDI portal
The following pages link to Termination of permutative conversions in intuitionistic Gentzen calculi (Q1275632):
Displaying 5 items.
- The \(\lambda \)-calculus and the unity of structural proof theory (Q733755) (← links)
- Permutability of proofs in intuitionistic sequent calculi (Q1275625) (← links)
- Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications (Q2683029) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs (Q4506460) (← links)
