Marco Solieri
4
Documents
Identifiants chercheurs
- marco-solieri
- 0000-0003-4531-2633
Présentation
Publications
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approachMathematical Structures in Computer Science, 2016, pp.1 - 43. ⟨10.1017/S0960129516000311⟩
Article dans une revue
hal-01400359v1
|
|
Geometry of Resource Interaction - A Minimalist ApproachElectronic Proceedings in Theoretical Computer Science, 2015, Proceedings Third International Workshop on Linearity - Vienna, Austria, 13th July, 2014, 176, pp.79-94. ⟨10.4204/EPTCS.176.7⟩
Article dans une revue
hal-01091754v2
|
|
Is the Optimal Implementation Inefficient? Elementarily Not2nd 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⟩
Communication dans un congrès
hal-01644123v1
|
|
Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-netsLogic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English. ⟨NNT : ⟩
Thèse
tel-01400369v1
|