LanQ

MaRDI QIDQ54939swMATHFDO

Official website http://lanq.sourceforge.net/index.php?p=about

Cited in

(3)

• Natural Quantum Operational Semantics with Predicates
• Models of quantum computation and quantum programming languages
• QPL

This page was built for software: LanQ