Synthetic Spectra via a Monadic and Comonadic Modality (2021)
Attributed to:
Higher Algebra and Quantum Protocols
funded by
EPSRC
Abstract
No abstract provided