Pages that link to "Item:Q1275632"

The following pages link to Termination of permutative conversions in intuitionistic Gentzen calculi (Q1275632):

Displaying 2 items.

• The \(\lambda \)-calculus and the unity of structural proof theory (Q733755) (← links)
• Permutability of proofs in intuitionistic sequent calculi (Q1275625) (← links)