Pages that link to "Item:Q4500175"
From MaRDI portal
The following pages link to Relating the - and s-styles of explicit substitutions (Q4500175):
Displaying 6 items.
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi (Q2703692) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)
- Explicit Substitutions à la de Bruijn (Q4924548) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)
