Collapsing Graph Models by Preorders. - Raymond Hoofman; Harold Schellinx (Category Theory and Computer Science, 1991)

Weakly Expressive Models for Hoare Logic. - Raymond Hoofman (Theor. Comput. Sci., 1991)

Non-Stable Models of Linear Logic. - Raymond Hoofman (LFCS, 1992)

The Theory of Semi-Functors. - Raymond Hoofman (Math. Struct. Comput. Sci., 1993)

Continuous Information Systems - Raymond Hoofman (Inf. Comput., 1993)

Comparing Models of the Non-Extensional Typed Lambda-Calculus. - Raymond Hoofman (LFCS, 1994)

A Remark on the Theory of Semi-Functors. - Raymond Hoofman; Ieke Moerdijk (Math. Struct. Comput. Sci., 1995)

Comparing Models of the Intensional Typed Lambda-Calculus. - Raymond Hoofman (Theor. Comput. Sci., 1996)