Login / Signup

Dagger linear logic for categorical quantum mechanics.

J. Robin B. CockettCole ComfortPriyaa V. Srinivasan
Published in: Log. Methods Comput. Sci. (2021)
Keyphrases