research
∙
03/21/2023
A more general categorical framework for congruence of applicative bisimilarity
We prove a general congruence result for bisimilarity in higher-order la...
share
research
∙
09/06/2022
Variable binding and substitution for (nameless) dummies
By abstracting over well-known properties of De Bruijn's representation ...
research
∙
04/08/2022
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on
We introduce a category-theoreticabstraction of a syntax with auxiliary ...
research
∙
03/31/2021
A categorical framework for congruence of applicative bisimilarity in higher-order languages
Applicative bisimilarity is a coinductive characterisation of observatio...
research
∙
12/11/2020
Modules over monads and operational semantics
This paper is a contribution to the search for efficient and high-level ...
research
∙
11/14/2019
Reduction Monads and Their Signatures
In this work, we study 'reduction monads', which are essentially the sam...
research
∙
10/21/2019
Signatures and models for syntax and operational semantics in the presence of variable binding
This thesis deals with the specification and construction of syntax and ...
research
∙
10/21/2019
Signatures et modèles pour la syntaxe et la sémantique opérationnelle en présence de liaison de variables
This thesis deals with the specification and construction of syntax and ...
research
∙
03/03/2019
Modular specification of monads through higher-order presentations
In their work on second-order equational logic, Fiore and Hur have studi...
research
∙
05/09/2018