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

DOI10.1145/3009837.3009859zbMath1380.68120arXiv1610.09629OpenAlexW2546724314WikidataQ130922088 ScholiaQ130922088MaRDI QIDQ5370917

Benoît Valiron, Akira Yoshimizu, Ugo Dal Lago, Claudia Faggian

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.09629

zbMATH Keywords

quantum computationlambda calculusgeometry of interactionprobabilistic computationmemory structure

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

The geometry of Bayesian programming ⋮ Unnamed Item ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Fresh Look at the λ-Calculus ⋮ Concurrent Quantum Strategies ⋮ Confluence in probabilistic rewriting

This page was built for publication: The geometry of parallelism: classical, probabilistic, and quantum effects