Pages that link to "Item:Q1120561"

The following pages link to Decidability of the restriction equational theory in the partial lambda calculus (Q1120561):

Displaying 1 item.

• European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93 (Q4873896) (← links)