Gianluigi Bellin

	2006
6		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		Gianluigi Bellin, Corrado Biasi: Towards a Logic for Pragmatics. Assertions and Conjectures. J. Log. Comput. 14(4): 473-506 (2004)
	2003
4		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)

Coauthor Index

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]

Colors in the list of coauthors