The following pages link to (Q4304752):
Displaying 5 items.
- An equivalence between lambda- terms (Q1322165) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable (Q3006115) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Redexes are stable in the λ-calculus (Q5269004) (← links)