Pages that link to "Item:Q960861"
From MaRDI portal
The following pages link to Gödel's system \(\mathcal T\) revisited (Q960861):
Displaying 10 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Non-determinism in Gödel's system \(T\) (Q693050) (← links)
- A geometry of interaction machine for Gödel's system T (Q1685928) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- The power of closed reduction strategies (Q2866800) (← links)
- Minimality in a linear calculus with iteration (Q2873683) (← links)
- Derivation lengths classification of Gödel's T extending Howard's assignment (Q2881086) (← links)
- (Q4218926) (← links)
- On the reification of semantic linearity (Q5741580) (← links)