Nombre de documents


Marco Solieri

Article dans une revue2 documents

  • Marco Solieri. Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, pp.1 - 43. <10.1017/S0960129516000311>. <hal-01400359>
  • Marco Solieri. Geometry of Resource Interaction - A Minimalist Approach. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2015, Proceedings Third International Workshop on Linearity - Vienna, Austria, 13th July, 2014, 176, pp.79-94. <>. <10.4204/EPTCS.176.7>. <hal-01091754>

Thèse1 document

  • Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets. Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English. <tel-01400369>