dblp.uni-trier.dewww.uni-trier.de

Gianluigi Bellin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEGianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban: Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364(2): 146-165 (2006)
2004
5EEGianluigi Bellin, Corrado Biasi: Towards a Logic for Pragmatics. Assertions and Conjectures. J. Log. Comput. 14(4): 473-506 (2004)
2003
4EEGianluigi 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

1Corrado Biasi [5]
2Martin Hyland (J. M. E. Hyland) [6]
3Jussi Ketonen [1]
4Kurt Ranalter [4]
5Edmund Robinson (E. P. Robinson) [6]
6Philip J. Scott [2]
7Christian Urban [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)