Pages that link to "Item:Q2842832"

The following pages link to Strongly Normalising Cut-Elimination with Strict Intersection Types (Q2842832):

Displaying 1 item.

• Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)