research
∙
05/10/2023
Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
Higher-dimensional automata (HDA) are a formalism to model the behaviour...
share
research
∙
11/11/2020
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Compositional methods are central to the development and verification of...
research
∙
08/09/2020
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
In sequent calculi, cut elimination is a property that guarantees that a...
research
∙
11/19/2018
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
We establish proof-theoretic, constructive and coalgebraic foundations f...
research
∙
02/20/2018