BELLIN, Gianluigi

Nome completo

BELLIN, Gianluigi

Afferenza

DIPARTIMENTO DI INFORMATICA

Mostra records

Risultati 1 - 11 di 11 (tempo di esecuzione: 0.002 secondi).

1992-01-01 Bellin, Gianluigi; J., Ketonen

2003-01-01 Bellin, Gianluigi; Kurt, Ranalter

1985-01-01 Bellin, Gianluigi

2006-01-01 Bellin, Gianluigi; M., Hyland; E., Robinson; C., Urban

2014-01-01 Bellin, Gianluigi

2008-01-01 Bellin, Gianluigi; Berardi, S; Crolard, T.

1994-01-01 Bellin, Gianluigi; P. J., Scott

2014-01-01 Bellin, Gianluigi; Menti, Alessandro

1998-01-01 Bellin, Gianluigi; Fleury, Arnaud

1997-01-01 Bellin, Gianluigi

2004-01-01 Bellin, Gianluigi; C., Biasi

Titolo	Data di pubblicazione	Autore(i)
A decision procedure revisited: Notes on direct logic, linear logic and its implementation	1-gen-1992	Bellin, Gianluigi; J., Ketonen
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP	1-gen-2003	Bellin, Gianluigi; Kurt, Ranalter
A system of natural deduction for GL	1-gen-1985	Bellin, Gianluigi
Categorical Proof Theory of Classical Propositional Calculus	1-gen-2006	Bellin, Gianluigi; M., Hyland; E., Robinson; C., Urban
Categorical Proof Theory of Co-Intuitionistic Linear Logic	1-gen-2014	Bellin, Gianluigi
Logic for pragmatics	1-gen-2008	Bellin, Gianluigi; Berardi, S; Crolard, T.
On the Pi-calculus and linear logic	1-gen-1994	Bellin, Gianluigi; P. J., Scott
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems	1-gen-2014	Bellin, Gianluigi; Menti, Alessandro
Planar and Braided Proof-nets for MLL with Mix	1-gen-1998	Bellin, Gianluigi; Fleury, Arnaud
Subnets of Proof-nets in multiplicative linear logic with MIX	1-gen-1997	Bellin, Gianluigi
Towards a logic for pragmatics. Assertions and conjectures.	1-gen-2004	Bellin, Gianluigi; C., Biasi

CATALOGO DEI PRODOTTI DELLA RICERCA