Pages that link to "Item:Q2802461"

The following pages link to Full Reduction in the Face of Absurdity (Q2802461):

Displaying 2 items.

• The Essence of Dependent Object Types (Q3188291) (← links)
• The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)