Quantitative Algebraic Reasoning: An overview

Giorgio Bacci*


Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review


In this talk I will review the basic definitions, constructions and key results presented in three works, namely Mardare at al. LICS16, LICS17, and Bacci et al. LICS18, which constitute the first steps of the more ambitious the program of understanding the algebraic properties of computational effects on categories enriched over (extended) metric spaces. During the talk I will provide several motivating examples to offer a general pragmatic picture of how algebraic reasoning works and how it can be used. Finally, I will conclude by presenting a list of open problems and initial ideas on how to address them.


KonferenceCombined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020
ByVirtual, Online
Periode31/08/2020 → …


Dyk ned i forskningsemnerne om 'Quantitative Algebraic Reasoning: An overview'. Sammen danner de et unikt fingeraftryk.