An Internal Language for Categories Enriched over Generalised Metric Spaces.

Fredrik Dahlqvist, Renato Neves

Browse the full CSL paper archive.