Jan Terlouw

	1995
3		Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding: Algebraic Proof Assistants in HOL. MPC 1995: 304-321
2		Jan Terlouw: Strong Normalization in Type Systems: A Model Theoretic Approach. Ann. Pure Appl. Logic 73(1): 53-78 (1995)
	1982
1		Jan Terlouw: On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising. J. Symb. Log. 47(2): 395-402 (1982)

Coauthor Index

1	Rix Groenboom	[3]
2	Chris Hendriks	[3]
3	Indra Polak	[3]
4	Jan Tijmen Udding	[3]