PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Valiron, Benoît"

Author of the publication

copydeleteadd this publication to your clipboard
Parallelism and Synchronization in an Infinitary Context.

, , , and . LICS, page 559-572. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benoît Paul Dumas University of Stuttgart

 

Other publications of authors with the same name

The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects., , , and . CoRR, (2016)An Introduction to Quantum Programming in Quipper., , , , and . RC, volume 7948 of Lecture Notes in Computer Science, page 110-124. Springer, (2013)A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing., , , , , and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 318-334. Springer, (2017)A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)., and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 81-96. Springer, (2008)A Lambda Calculus for Quantum Computation with Classical Control., and . TLCA, volume 3461 of Lecture Notes in Computer Science, page 354-368. Springer, (2005)On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract).. Electron. Notes Theor. Comput. Sci., 270 (1): 121-128 (2011)A lambda calculus for quantum computation with classical control., and . Mathematical Structures in Computer Science, 16 (3): 527-552 (2006)The Vectorial Lambda-Calculus., , and . CoRR, (2013)Parallelism and Synchronization in an Infinitary Context (Long Version)., , , and . CoRR, (2015)Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target., , , , , and . Quantum Information Processing, 16 (3): 60 (2017)