Nombre de documents

4

Marco Solieri


Article dans une revue2 documents

Communication dans un congrès1 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. 84, pp.17:1 - 17:16, 〈10.4230/LIPIcs.FSCD.2017.17〉. 〈hal-01644123〉

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〉