research
∙
04/26/2023
Nominal Topology for Data Languages
We propose a novel topological perspective on data languages recognizabl...
share
research
∙
02/16/2023
Weak Similarity in Higher-Order Mathematical Operational Semantics
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's f...
research
∙
10/24/2022
Towards a Higher-Order Mathematical Operational Semantics
Compositionality proofs in higher-order languages are notoriously involv...
research
∙
02/22/2022
Stateful Structural Operational Semantics
Compositionality of denotational semantics is an important concern in pr...
research
∙
02/14/2022
Coalgebraic Semantics for Nominal Automata
This paper provides a coalgebraic approach to the language semantics of ...
research
∙
11/14/2019
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration
For every finitary monad T on sets and every endofunctor F on the catego...
research
∙
11/03/2019
Automata Learning: An Algebraic Approach
We propose a generic categorical framework for learning unknown formal l...
research
∙
12/05/2018
Equational Axiomatization of Algebras with Structure
This paper proposes a new category theoretic account of equationally axi...
research
∙
04/06/2018