Pages that link to "Item:Q1902976"

The following pages link to A strong normalization result for classical logic (Q1902976):

Displaying 3 items.

• Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
• Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
• Programming and Proving with Classical Types (Q5055999) (← links)