Pages that link to "Item:Q2713355"
From MaRDI portal
The following pages link to Cut rules and explicit substitutions (Q2713355):
Displayed 5 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Pattern matching as cut elimination (Q1882898) (← links)
- Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions (Q3617369) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)