The following pages link to Alpha equivalence equalities (Q428860):
Displaying 5 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- Algorithms for Extended Alpha-Equivalence and Complexity (Q2958388) (← links)
- Varying alpha (Q3561767) (← links)