Quantitative Algebraic Reasoning: An overview

Giorgio Bacci*

*Corresponding author for this work

Research output: Contribution to journalConference article in JournalResearchpeer-review

Abstract

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.
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume322
ISSN2075-2180
DOIs
Publication statusPublished - 27 Aug 2020
EventCombined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020 - Virtual, Online, Austria
Duration: 31 Aug 2020 → …

Conference

ConferenceCombined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020
Country/TerritoryAustria
CityVirtual, Online
Period31/08/2020 → …

Cite this