Pages that link to "Item:Q5387879"

The following pages link to Higher-Order Termination: From Kruskal to Computability (Q5387879):

Displaying 3 items.

• Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
• HORPO with Computability Closure: A Reconstruction (Q3498461) (← links)
• The Computability Path Ordering: The End of a Quest (Q3540166) (← links)