research
∙
10/02/2020
Combining Weak Distributive Laws: Application to Up-To Techniques
The coalgebraic modelling of alternating automata and of probabilistic a...
research
∙
06/28/2018
Up-To Techniques for Behavioural Metrics via Fibrations
Up-to techniques are a well-known method for enhancing coinductive proof...
research
∙
12/19/2017