| 1995 | ||
|---|---|---|
| 5 | Raymond Hoofman, Ieke Moerdijk: A Remark on the Theory of Semi-Functors. Mathematical Structures in Computer Science 5(1): 1-8 (1995) | |
| 1994 | ||
| 4 | Raymond Hoofman: Comparing Models of the Non-Extensional Typed Lambda-Calculus. LFCS 1994: 164-172 | |
| 1993 | ||
| 3 | Raymond Hoofman: The Theory of Semi-Functors. Mathematical Structures in Computer Science 3(1): 93-128 (1993) | |
| 1992 | ||
| 2 | Raymond Hoofman: Non-Stable Models of Linear Logic. LFCS 1992: 209-220 | |
| 1991 | ||
| 1 | Raymond Hoofman, Harold Schellinx: Collapsing Graph Models by Preorders. Category Theory and Computer Science 1991: 53-73 | |
| 1 | Ieke Moerdijk | [5] |
| 2 | Harold Schellinx | [1] |