Pages that link to "Item:Q3474271"

The following pages link to A Rewriting System for Categorical Combinators with Multiple Arguments (Q3474271):

Displaying 3 items.

• An abstract framework for environment machines (Q804281) (← links)
• A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
• On explicit substitution with names (Q2392486) (← links)