Pages that link to "Item:Q2566069"

The following pages link to A simple proof of second-order strong normalization with permutative conversions (Q2566069):

Displaying 2 items.

• Inhabitation of polymorphic and existential types (Q636375) (← links)
• Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)