Jan Terlouw

According to our database, Jan Terlouw authored at least 4 papers between 1982 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1995

Strong Normalization in Type Systems: A Model Theoretic Approach.

Jan Terlouw

Ann. Pure Appl. Log., 1995

Algebraic Proof Assistants in HOL.

Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding

Proceedings of the Mathematics of Program Construction, 1995

1985

Reduction of higher type levels by means of an ordinal analysis of finite terms.

Jan Terlouw

Ann. Pure Appl. Log., 1985

1982

On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising.

Jan Terlouw

J. Symb. Log., 1982