Pages that link to "Item:Q4571957"
From MaRDI portal
The following pages link to On explicit substitutions and names (extended abstract) (Q4571957):
Displaying 8 items.
- On the rule of \(k\) names (Q993784) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- On explicit substitution with names (Q2392486) (← links)
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi (Q2703692) (← links)
- Bridging de Bruijn indices and variable names in explicit substitutions calculi (Q4222186) (← links)
- (Q4506392) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)