Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.

Dongho Lee Valentin Perrelle Benoît Valiron Zhaowei Xu

Published in: FSTTCS (2021)

Keyphrases

description language
probabilistic model
high level
domain models
specification language
domain specific
autonomous agents