A Coalgebraic Semantics Framework for Quantum Systems.

Ai Liu Meng Sun

Published in: ICFEM (2019)

Keyphrases

main contribution
complex systems
logical framework
distributed systems
building blocks
theoretical framework
conceptual framework
neural network
lightweight
formal semantics