The syntactic side of autonomous categories enriched over generalised metric spaces

Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the idea of equivalence taking values in a quantale V, which cove...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Fredrik Dahlqvist, Renato Neves
Format: Artykuł
Język:English
Wydane: Logical Methods in Computer Science e.V. 2023-12-01
Seria:Logical Methods in Computer Science
Hasła przedmiotowe:
Dostęp online:https://lmcs.episciences.org/10018/pdf