Skip to Main content Skip to Navigation
Conference papers

The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects

Abstract : We introduce a Geometry of Interaction model for higher-order quantum computation, and prove its adequacy for a full quantum programming language in which entanglement, duplication, and recursion are all available. Our model comes with a multi-token machine, a proof net system, and a PCF-style language. The approach we develop is not specific to quantum computation, and our model is an instance of a new framework whose main feature is the ability to model commutative effects in a parallel setting. Being based on a multi-token machine equipped with a memory, it has a concrete nature which makes it well suited for building low-level operational descriptions of higher-order languages.
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download
Contributor : Benoît Valiron Connect in order to contact the contributor
Submitted on : Friday, June 14, 2019 - 9:38:12 AM
Last modification on : Thursday, July 8, 2021 - 3:50:18 AM


Files produced by the author(s)



Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu. The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects. POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.833-845, ⟨10.1145/3009837.3009859⟩. ⟨hal-01474620⟩



Record views


Files downloads