Raymond Hoofman

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Raymond Hoofman, Ieke Moerdijk
A Remark on the Theory of Semi-Functors. Math. Struct. Comput. Sci. 5 (1) (1995)
Raymond Hoofman
Comparing Models of the Non-Extensional Typed Lambda-Calculus. LFCS (1994)
Raymond Hoofman
The Theory of Semi-Functors. Math. Struct. Comput. Sci. 3 (1) (1993)
Raymond Hoofman
Non-Stable Models of Linear Logic. LFCS (1992)
Raymond Hoofman, Harold Schellinx
Collapsing Graph Models by Preorders. Category Theory and Computer Science (1991)