TY  - RPRT
TI  - The syntactic side of autonomous categories enriched over generalised metric spaces
AU  - Fredrik Dahlqvist
AU  - Renato Neves
PY  - 2023
DO  - 10.46298/lmcs-19(4:31)2023
UR  - https://arxiv.org/abs/2208.14356
ID  - 2208.14356
ER  -