Pages that link to "Item:Q3644746"

The following pages link to On the Relation between Sized-Types Based Termination and Semantic Labelling (Q3644746):

Displaying 1 item.

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