Pages that link to "Item:Q2958388"
From MaRDI portal
The following pages link to Algorithms for Extended Alpha-Equivalence and Complexity (Q2958388):
Displaying 4 items.
- Nominal unification with letrec and environment-variables (Q2119105) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- Structural Rewriting in the pi-Calculus. (Q5240137) (← links)
- Foundations of Software Science and Computational Structures (Q5705901) (← links)