Items where Author is "Hoofman, Raymond"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 5.

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]

This list was generated on Sun Dec 22 00:30:28 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility