Jan Terlouw

Available identifiers

zbMath Open terlouw.janMaRDI QIDQ759748

List of research outcomes

Publication	Date of Publication	Type
Strong normalization in type systems: A model theoretical approach	1995-05-30	Paper
Reduction of higher type levels by means of an ordinal analysis of finite terms	1985-01-01	Paper
On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising	1982-01-01	Paper

Research outcomes over time

This page was built for person: Jan Terlouw