Taming Non-compositionality Using New Binders

DOI10.1007/978-3-540-73554-0_15MaRDI QIDQ3603412zbMATH OpenOpenAlexFDO

Authors Frédéric Prost

Publication date 17 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73554-0_15

Mathematics Subject Classification ID

Quantum computation (81P68) Combinatory logic and lambda calculus (03B40)

Recommendations

• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• A Lambda Calculus for Quantum Computation
• On a measurement-free quantum lambda calculus with classical control
• On quantum lambda calculi: a foundational perspective
• The dagger lambda calculus

Cited in

(2)

• Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#
• Measurements and confluence in quantum lambda calculi with explicit qubits

This page was built for publication: Taming Non-compositionality Using New Binders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3603412)