Travelled to:1 × France
1 × Portugal
1 × USA
1 × United Kingdom
3 × Italy
Collaborated with:S.Martini A.Masini B.Accattoli P.Marzuoli ∅ R.D.Cosmo C.Böhm A.Piperno
Talks about:proof (4) net (4) multipl (2) normal (2) linear (2) congruenc (1) structur (1) quantifi (1) function (1) definit (1)
Person: Stefano Guerrini
DBLP: Guerrini:Stefano
Contributed to:
2009
2006
1999
1999
19971996
1994Wrote 7 papers:
- CSL-2009-AccattoliG
- Jumping Boxes (BA, SG), pp. 55–70.
- ICALP-v2-2006-GuerriniM #commutative #linear #logic #multi #quantifier
- Commutative Locative Quantifiers for Multiplicative Linear Logic (SG, PM), pp. 396–407.
- LICS-1999-Guerrini #correctness #linear #multi #proving
- Correctness of Multiplicative Proof Nets Is Linear (SG), pp. 454–463.
- RTA-1999-CosmoG #normalisation #proving
- Strong Normalization of Proof Nets Modulo Structural Congruences (RDC, SG), pp. 75–89.
- TLCA-1997-GuerriniMM #proving
- Proof Nets, Garbage, and Computations (SG, SM, AM), pp. 181–195.
- RTA-1996-GuerriniMM #proving
- Coherence for Sharing Proof Nets (SG, SM, AM), pp. 215–229.
- ESOP-1994-BohmPG #normalisation
- λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.