Skip to Main content
Number of documents


Marco Solieri

Journal articles2 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⟩

Conference papers1 document

  • Stefano Guerrini, Marco Solieri. Is the Optimal Implementation Inefficient? Elementarily Not. 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Sep 2017, Oxford, United Kingdom. pp.17:1 - 17:16, ⟨10.4230/LIPIcs.FSCD.2017.17⟩. ⟨hal-01644123⟩

Theses1 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⟩