The following pages link to (Q3783516):
Displaying 4 items.
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)