Pages that link to "Item:Q4519171"
From MaRDI portal
The following pages link to The λ<i>s</i><sub><i>e</i></sub>-calculus does not preserve strong normalisation (Q4519171):
Displayed 5 items.
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations (Q4916200) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)