Pages that link to "Item:Q656851"
From MaRDI portal
The following pages link to Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851):
Displaying 6 items.
- Gödel's system \(\mathcal T\) revisited (Q960861) (← 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)
- A non-uniform finitary relational semantics of system \(T\) (Q2842243) (← links)
- The power of closed reduction strategies (Q2866800) (← links)
- Minimality in a linear calculus with iteration (Q2873683) (← links)