Pages that link to "Item:Q960861"

The following pages link to Gödel's system \(\mathcal T\) revisited (Q960861):

Displaying 4 items.

• Natural number objects in Dialectica categories (Q281151) (← links)
• Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$ (Q2798262) (← links)
• On the reification of semantic linearity (Q5741580) (← links)