Pages that link to "Item:Q759749"
From MaRDI portal
The following pages link to Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749):
Displaying 4 items.
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity (Q1374676) (← links)
- Combinatory logic with polymorphic types (Q2144609) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
