The following pages link to Jan Terlouw (Q759748):
Displayed 3 items.
- Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749) (← links)
- Strong normalization in type systems: A model theoretical approach (Q1891251) (← links)
- On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising (Q3949042) (← links)