research
∙
07/18/2023
Higher Catoids, Higher Quantales and their Correspondences
We establish modal correspondences between omega-catoids and convolution...
share
research
∙
10/24/2022
On Tools for Completeness of Kleene Algebra with Hypotheses
In the literature on Kleene algebra, a number of variants have been prop...
research
∙
05/13/2022
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
We present fully abstract encodings of the call-by-name and call-by-valu...
research
∙
01/20/2020
Modular coinduction up-to for higher-order languages via first-order transition systems
The bisimulation proof method can be enhanced by employing `bisimulation...
research
∙
12/22/2017