| 2003 |
|---|
| 13 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
Computational isomorphisms in classical logic.
Theor. Comput. Sci. 294(3): 353-378 (2003) |
| 2002 |
|---|
| 12 | | Jaap van Oosten,
Harold Schellinx:
Preface.
Ann. Pure Appl. Logic 114(1-3): 1-2 (2002) |
| 11 | | Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco:
SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization.
J. Symb. Log. 67(1): 162-196 (2002) |
| 1998 |
|---|
| 10 | | Harold Schellinx:
Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg.
Journal of Logic, Language and Information 7(2): 221-223 (1998) |
| 1997 |
|---|
| 9 | EE | Quintijn Puite,
Harold Schellinx:
On the Jordan-Hölder decomposition of proof nets.
Arch. Math. Log. 37(1): 59-65 (1997) |
| 8 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
A New Deconstructive Logic: Linear Logic.
J. Symb. Log. 62(3): 755-807 (1997) |
| 1996 |
|---|
| 7 | | Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco:
Strong Normalization for All-Style LK.
TABLEAUX 1996: 226-243 |
| 6 | EE | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
Computational isomorphisms in classical logic.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1994 |
|---|
| 5 | | R. Hori,
H. Ono,
Harold Schellinx:
Extending Intutionistic Linear Logic with Knotted Structural Rules.
Notre Dame Journal of Formal Logic 35(2): 219-242 (1994) |
| 1993 |
|---|
| 4 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.
Kurt Gödel Colloquium 1993: 159-171 |
| 1991 |
|---|
| 3 | | Raymond Hoofman,
Harold Schellinx:
Collapsing Graph Models by Preorders.
Category Theory and Computer Science 1991: 53-73 |
| 2 | | Harold Schellinx:
Some Syntactical Observations on Linear Logic.
J. Log. Comput. 1(4): 537-559 (1991) |
| 1 | | Harold Schellinx:
Isomorphisms and Nonisomorphisms of Graph Models.
J. Symb. Log. 56(1): 227-249 (1991) |
