Pages that link to "Item:Q3949042"

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 2 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)