Harold Schellinx

Publication Activity (10 Years)

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

Publications

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Computational isomorphisms in classical logic. Theor. Comput. Sci. 294 (3) (2003)
Jaap van Oosten, Harold Schellinx
Preface. Ann. Pure Appl. Log. 114 (1-3) (2002)
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
: Linear Decorations and Simulation of Normalization. J. Symb. Log. 67 (1) (2002)
Harold Schellinx
Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg. J. Log. Lang. Inf. 7 (2) (1998)
Quintijn Puite, Harold Schellinx
On the Jordan-Hölder decomposition of proof nets. Arch. Math. Log. 37 (1) (1997)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
A New Deconstructive Logic: Linear Logic. J. Symb. Log. 62 (3) (1997)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Computational isomorphisms in classical logic. Electron. Notes Theor. Comput. Sci. 3 (1996)
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
Strong Normalization for All-Style LK. TABLEAUX (1996)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
On the linear decoration of intuitionistic derivations. Arch. Math. Log. 33 (6) (1995)
Ryuichi Hori, Hiroakira Ono, Harold Schellinx
Extending Intuitionistic Linear Logic with Knotted Structural Rules. Notre Dame J. Formal Log. 35 (2) (1994)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. Kurt Gödel Colloquium (1993)
Harold Schellinx
Some Syntactical Observations on Linear Logic. J. Log. Comput. 1 (4) (1991)
Harold Schellinx
Isomorphisms and Nonisomorphisms of Graph Models. J. Symb. Log. 56 (1) (1991)
Raymond Hoofman, Harold Schellinx
Collapsing Graph Models by Preorders. Category Theory and Computer Science (1991)