TY  - RPRT
TI  - Modal Reasoning = Metric Reasoning, via Lawvere
AU  - Ugo Dal Lago
AU  - Francesco Gavazzo
PY  - 2021
UR  - https://arxiv.org/abs/2103.03871
ID  - 2103.03871
ER  -