TY  - RPRT
TI  - Obligations and permissions, algebraically
AU  - Andrea De Domenico
AU  - Ali Farjami
AU  - Krishna Manoorkar
AU  - Alessandra Palmigiano
AU  - Mattia Panettiere
AU  - Xiaolong Wang
PY  - 2024
UR  - https://arxiv.org/abs/2403.03148
ID  - 2403.03148
ER  -