Pages that link to "Item:Q1322474"
From MaRDI portal
The following pages link to Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) (Q1322474):
Displayed 3 items.
The following pages link to Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) (Q1322474):
Displayed 3 items.