Pages that link to "Item:Q1322474"

The following pages link to Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) (Q1322474):

Displayed 3 items.

• Divergence of \(F_{\leq}\) type checking (Q673966) ‎ (← links)
• Termination of system \(F\)-bounded: A complete proof (Q1383151) ‎ (← links)
• Basic theory of \(F\)-bounded quantification. (Q1854309) ‎ (← links)