BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Guerrini:Stefano

Contributed to:

CSL 20092009
ICALP (2) 20062006
LICS 19991999
RTA 19991999
TLCA 19971997
RTA 19961996
ESOP 19941994

Wrote 7 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.