TY  - RPRT
TI  - Adequate Losses via Quantitative Linear Logic
AU  - Matteo Capucci
AU  - Robert Atkey
AU  - Charles Grellois
AU  - Ekaterina Komendantskaya
AU  - Matthew Daggitt
PY  - 2026
UR  - https://arxiv.org/abs/2605.13348
ID  - 2605.13348
ER  -