Quantum Patterns and Types for Entanglement and Separability

DOI10.1016/j.entcs.2006.12.015zbMath1277.68066OpenAlexW2170338123MaRDI QIDQ2864172

Simon Perdrix

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.12.015

zbMATH Keywords

quantum programming languagesentanglement and separabilityquantum types

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Data structures (68P05)

Related Items (3)

On quantum lambda calculi: a foundational perspective ⋮ Unnamed Item ⋮ On a measurement-free quantum lambda calculus with classical control

Uses Software

• QPL
• qGCL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiparty entanglement in graph states
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Towards a quantum programming language
• Communicating quantum processes

This page was built for publication: Quantum Patterns and Types for Entanglement and Separability