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
∙
08/29/2019
Cellular Monads from Positive GSOS Specifications
We give a leisurely introduction to our abstract framework for operation...
research
∙
10/16/2018
Simple game semantics and Day convolution
Game semantics has provided adequate models for a variety of programming...
research
∙
11/29/2017
What's in a game? A theory of game models
Game semantics is a rich and successful class of denotational models for...
research
∙
10/18/2017