THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES. - DAHLQVIST, FREDRIK; NEVES, RENATO (Logical Methods in Computer Science (LMCS), 2023)