The geometry of parallelism: classical, probabilistic, and quantum effects

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017  
We introduce a Geometry of Interaction model for higher-order quantum computation, and prove its adequacy for a fully fledged quantum programming language in which entanglement, duplication, and recursion are all available. This model is an instance of a new framework which captures not only quantum but also classical and probabilistic computation. Its main feature is the ability to model commutative effects in a parallel setting. Our model comes with a multi-token machine, a proof net system,
more » ... nd a PCF-style language. 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.
doi:10.1145/3009837.3009859 fatcat:t72iddrvb5dxloldy4ccufhjo4