Pages that link to "Item:Q4444936"
From MaRDI portal
The following pages link to Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation (Q4444936):
Displaying 5 items.
- Pattern matching as cut elimination (Q1882898) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- Cut Elimination, Substitution and Normalisation (Q5213610) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
