BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × USA
Collaborated with:
O.Laurent M.Acclavio
Talks about:
proof (2) retractil (1) construct (1) structur (1) multipl (1) general (1) connect (1) monomi (1) linear (1) elimin (1)

Person: Roberto Maieli

DBLP DBLP: Maieli:Roberto

Contributed to:

RTA-TLCA 20142014
LICS 20082008
CSL 20202020

Wrote 3 papers:

RTA-TLCA-2014-Maieli #proving
Construction of Retractile Proof Structures (RM), pp. 319–333.
LICS-2008-LaurentM #proving
Cut Elimination for Monomial MALL Proof Nets (OL, RM), pp. 486–497.
CSL-2020-AcclavioM #linear #logic #multi
Generalized Connectives for Multiplicative Linear Logic (MA, RM), p. 16.

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.