Statistics
Publications
12
Citations
386
H-Index
11
Active since
1985
Affiliations
Gianluigi Bellin is an author at University of Verona specializing in logic, humanities, and computer science.
Publications per year
1985–2015
12
12
On the π-calculus and linear logic
Gianluigi Bellin, Philip Scott · Theoretical Computer Science · 1994 · 145 citations
Categorical proof theory of classical propositional calculus
Gianluigi Bellin, Martin Hyland, E. Powell Robinson et al. · Theoretical Computer Science · 2006 · 29 citations
Subnets of proof-nets in MLL -
Gianluigi Bellin, J. Van de Wiele · 1995 · 24 citations
1–5 of 12