Items where Author is "Schellinx, Harold"

Report

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

ML-1993-10: Danos, Vincent and Joinet, Jean-Baptiste and Schellinx, Harold (1993) The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. [Report]

ML-1992-07: Schellinx, Harold (1992) How to Broaden your Horizon. [Report]

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

ML-1990-01: Schellinx, Harold (1990) Isomorphisms and Non-Isomorphisms of Graph Models. [Report]

ML-1990-08: Schellinx, Harold (1990) Some Syntactical Observations on Linear Logic. [Report]

Thesis

DS-1994-01: Schellinx, Harold (1994) The Noble Art of Linear Decorating. Doctoral thesis, University of Amsterdam.