Harold Schellinx

发表

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1993, Kurt Gödel Colloquium.

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1995, Arch. Math. Log..

Harold Schellinx, Jaap van Oosten, 2002, Ann. Pure Appl. Log..

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco, 1996, TABLEAUX.

Harold Schellinx, Quintijn Puite, 1997, Arch. Math. Log..

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco, 2002, J. Symb. Log..

Harold Schellinx, H. Schellinx, 1991, J. Symb. Log..

Jean-Baptiste Joinet, Harold Schellinx, V. Danos, 1995 .

Harold Schellinx, 1998, J. Log. Lang. Inf..

Harold Schellinx, Raymond Hoofman, 1991, Category Theory and Computer Science.

Harold Schellinx, H. Schellinx, 1991, J. Log. Comput..

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1997, Journal of Symbolic Logic.

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1996, Electron. Notes Theor. Comput. Sci..

Harold Schellinx, Hiroakira Ono, Ryuichi Hori, 1994, Notre Dame J. Formal Log..

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1995 .

Harold Schellinx, H. Schellinx, 1996 .

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco, 1996 .