TY  - RPRT
TI  - Categorification of Negative Information using Enrichment
AU  - Andrea Censi
AU  - Emilio Frazzoli
AU  - Jonathan Lorand
AU  - Gioele Zardini
PY  - 2023
DO  - 10.4204/eptcs.380.2
UR  - https://arxiv.org/abs/2207.13589
ID  - 2207.13589
ER  -