Pages that link to "Item:Q5111904"

The following pages link to Polynomial Interpretations for Higher-Order Rewriting (Q5111904):

Displaying 5 items.

• Higher-order interpretations and program complexity (Q276254) (← links)
• Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
• (Q4989394) (← links)
• (Q5009706) (← links)
• (Q5089012) (← links)