Pages that link to "Item:Q2866800"

The following pages link to The Power of Closed Reduction Strategies (Q2866800):

Displaying 2 items.

• Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
• Gödel's system \(\mathcal T\) revisited (Q960861) (← links)