Items where Author is "Hoofman, Raymond"

Report

ML-1993-19: Hoofman, Raymond (1993) Comparing Models of the Non-Extensional Typed l-Calculus. [Report]

ML-1993-05: Hoofman, Raymond and Schellinx, Harold (1993) Models of the Untyped l-calculus in Semi Cartesian Closed Categories. [Report]

ML-1993-08: Hoofman, Raymond and Moerdijk, Ieke (1993) Remarks on the Theory of Semi-Functors. [Report]

ML-1992-08: Hoofman, Raymond (1992) Information Systems as Coalgebras. [Report]

ML-1991-04: Hoofman, Raymond and Schellinx, Harold (1991) Collapsing Graph Models by Preorders. [Report]