Pages that link to "Item:Q3949042"
From MaRDI portal
The following pages link to On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising (Q3949042):
Displaying 4 items.
- How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195) (← links)
- Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749) (← links)
- Constructing recursion operators in intuitionistic type theory (Q1094421) (← links)
- Characterizing complexity classes by higher type primitive recursive definitions (Q1193623) (← links)
