Types and typechecking for Communicating Quantum Processes

From MaRDI portal
Publication:5482266