| |
| 2006 | ||
|---|---|---|
| 6 | EE | Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban: Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364(2): 146-165 (2006) |
| 2004 | ||
| 5 | EE | Gianluigi Bellin, Corrado Biasi: Towards a Logic for Pragmatics. Assertions and Conjectures. J. Log. Comput. 14(4): 473-506 (2004) |
| 2003 | ||
| 4 | EE | Gianluigi Bellin, Kurt Ranalter: A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. J. Log. Comput. 13(5): 755-775 (2003) |
| 1997 | ||
| 3 | Gianluigi Bellin: Subnets of Proof-Nets in Multiplicative Linear Logic with MIX. Mathematical Structures in Computer Science 7(6): 663-699 (1997) | |
| 1994 | ||
| 2 | Gianluigi Bellin, Philip J. Scott: On the pi-Calculus and Linear Logic. Theor. Comput. Sci. 135(1): 11-65 (1994) | |
| 1992 | ||
| 1 | Gianluigi Bellin, Jussi Ketonen: A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. Theor. Comput. Sci. 95(1): 115-142 (1992) | |
| 1 | Corrado Biasi | [5] |
| 2 | Martin Hyland (J. M. E. Hyland) | [6] |
| 3 | Jussi Ketonen | [1] |
| 4 | Kurt Ranalter | [4] |
| 5 | Edmund Robinson (E. P. Robinson) | [6] |
| 6 | Philip J. Scott | [2] |
| 7 | Christian Urban | [6] |