Searching for authors named "Michele Pagani" – sorted by Relevance.
-
Acyclicity and coherence in multiplicative and exponential linear logic. volume 4207
- with appendix) Michele Pagani ⋆ Dipartimento di Filosofia – Università Roma Tre Via Ostiense 231 – 00124 – Roma
- Cited by 1 (1 self) – Add To MetaCart
-
The separation theorem for differential interaction nets. volume 4790 of LNAI
- The Separation Theorem for Differential Interaction Nets Damiano Mazza 1,⋆ and Michele Pagani 2
- Cited by 1 (1 self) – Add To MetaCart

