Pages that link to "Item:Q4222186"

The following pages link to Bridging de Bruijn indices and variable names in explicit substitutions calculi (Q4222186):

Displayed 2 items.

• Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) ‎ (← links)
• Explicit Substitutions à la de Bruijn (Q4924548) ‎ (← links)