A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. - Gianluigi Bellin; Jussi Ketonen (Theor. Comput. Sci., 1992)

On the pi-Calculus and Linear Logic. - Gianluigi Bellin; Philip J. Scott (Theor. Comput. Sci., 1994)

Subnets of Proof-Nets in Multiplicative Linear Logic with MIX. - Gianluigi Bellin (Math. Struct. Comput. Sci., 1997)

Planar and braided proof-nets for multiplicative linear logic with mix. - Gianluigi Bellin; Arnaud Fleury (Arch. Math. Log., 1998)

Chu's Construction: A Proof-Theoretic Approach. - Gianluigi Bellin (Logic for Concurrency and Synchronisation, 2003)

Two Paradigms of Logical Computation in Affine Logic? - Gianluigi Bellin (Logic for Concurrency and Synchronisation, 2003)

A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. - Gianluigi Bellin; Kurt Ranalter (J. Log. Comput., 2003)

Towards a Logic for Pragmatics. Assertions and Conjectures. - Gianluigi Bellin; Corrado Biasi (J. Log. Comput., 2004)

Categorical proof theory of classical propositional calculus. - Gianluigi Bellin; Martin Hyland; Edmund Robinson; Christian Urban (Theor. Comput. Sci., 2006)

Categorical Proof Theory of Co-Intuitionistic Linear Logic. - Gianluigi Bellin (Log. Methods Comput. Sci., 2014)

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems. - Gianluigi Bellin; Alessandro Menti (Fundam. Informaticae, 2014)

A Cointuitionistic Adjoint Logic. - Harley Eades III; Gianluigi Bellin (CoRR, 2017)

Proof Nets for Bi-Intuitionistic Linear Logic. - Gianluigi Bellin; Willem Heijltjes (FSCD, 2018)

On an intuitionistic logic for pragmatics. - Gianluigi Bellin; Massimiliano Carrara; Daniele Chiffi (J. Log. Comput., 2018)