research
∙
05/11/2022
Algebraic Presentation of Semifree Monads
Monads and their composition via distributive laws have many application...
share
research
∙
08/21/2020
Logic-Induced Bisimulations
We define a new logic-induced notion of bisimulation (called ρ-bisimulat...
research
∙
05/23/2020
Minimisation in Logical Form
Stone-type dualities provide a powerful mathematical framework for study...
research
∙
07/22/2019
Arrow's Theorem Through a Fixpoint Argument
We present a proof of Arrow's theorem from social choice theory that use...
research
∙
04/16/2019