Search the dblp DataBase

Publications of Author

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