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: Maieli:Roberto
Contributed to:
2014
2008
2020Wrote 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.