DOI10.1007/978-3-319-71069-3_22MaRDI QIDQ5055990
Gilles Dowek, Alejandro Díaz-Caro
Publication date: 9 December 2022 Published in: Theory and Practice of Natural Computing (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-319-71069-3_22
zbMATH Keywords
linear logic; quantum computing; measurement; lambda-calculus; algebraic linearity
Mathematics Subject Classification ID
81P68: Quantum computation
03B40: Combinatory logic and lambda calculus
Uses Software