Harold Schellinx

14 papers B 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2003 J jnl
Computational isomorphisms in classical logic.
Theor. Comput. Sci.
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
2002 J jnl
Preface.
Ann. Pure Appl. Log.
Jaap van Oosten, Harold Schellinx
2002 J jnl
SN and CR for Free-Style LK
J. Symb. Log.
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
1998 J jnl
Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg.
J. Log. Lang. Inf.
Harold Schellinx
1997 J jnl
A New Deconstructive Logic: Linear Logic.
J. Symb. Log.
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1997 J jnl
On the Jordan-Hölder decomposition of proof nets.
Arch. Math. Log.
Quintijn Puite, Harold Schellinx
1996 — conf
Computational isomorphisms in classical logic.
Linear Logic Tokyo Meeting
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1996 B conf
Strong Normalization for All-Style LK.
TABLEAUX
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
1995 J jnl
On the linear decoration of intuitionistic derivations.
Arch. Math. Log.
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1994 J jnl
Extending Intuitionistic Linear Logic with Knotted Structural Rules.
Notre Dame J. Formal Log.
Ryuichi Hori, Hiroakira Ono, Harold Schellinx
1993 — conf
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.
Kurt Gödel Colloquium
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1991 — conf
Collapsing Graph Models by Preorders.
Category Theory and Computer Science
Raymond Hoofman, Harold Schellinx
1991 J jnl
Isomorphisms and Nonisomorphisms of Graph Models.
J. Symb. Log.
Harold Schellinx
1991 J jnl
Some Syntactical Observations on Linear Logic.
J. Log. Comput.
Harold Schellinx