TY  - RPRT
TI  - Quantitative Equality in Substructural Logic via Lipschitz Doctrines
AU  - Francesco Dagnino
AU  - Fabio Pasquali
PY  - 2025
DO  - 10.46298/lmcs-21(1:7)2025
UR  - https://arxiv.org/abs/2110.05388
ID  - 2110.05388
ER  -