Marco Solieri

4
Documents
Identifiants chercheurs

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

Publications

Deposit thumbnail

Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach

Marco Solieri

Mathematical Structures in Computer Science, 2016, pp.1 - 43. ⟨10.1017/S0960129516000311⟩

Article dans une revue hal-01400359v1
Deposit thumbnail

Geometry of Resource Interaction - A Minimalist Approach

Marco Solieri

Electronic 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
Deposit thumbnail

Is the Optimal Implementation Inefficient? Elementarily Not

Stefano Guerrini , Marco Solieri

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⟩

Communication dans un congrès hal-01644123v1
Deposit thumbnail

Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets

Marco Solieri

Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English. ⟨NNT : ⟩

Thèse tel-01400369v1