| |
| 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) | |
| 1 | Rix Groenboom | [3] |
| 2 | Chris Hendriks | [3] |
| 3 | Indra Polak | [3] |
| 4 | Jan Tijmen Udding | [3] |