Pages that link to "Item:Q3511452"

The following pages link to Nominal Matching and Alpha-Equivalence (Q3511452):

Displaying 4 items.

• Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
• A polynomial nominal unification algorithm (Q944382) (← links)
• Nominal syntax with atom substitutions (Q2662669) (← links)
• The First-Order Nominal Link (Q3003496) (← links)