Pages that link to "Item:Q1850960"

The following pages link to Dependent types for program termination verification (Q1850960):

Displaying 2 items.

• Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
• Termination checking with types (Q4659886) (← links)