Nombre de documents

3

Marco Solieri


Article dans une revue2 documents

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〉