Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
Higher Catoids, Higher Quantales and their Correspondences
Cameron Calk, Philippe Malbos, Damien Pous +1
We introduce -catoids as generalisations of (strict) -categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rew…
cs.LO2024
Fully Abstract Encodings of -Calculus in HOcore through Abstract Machines
MaÅgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet +3
We present fully abstract encodings of the call-by-name and call-by-value -calculus into HOcore, a minimal higher-order process calculus with no name restriction. We consider s…
cs.LO2024
On Tools for Completeness of Kleene Algebra with Hypotheses
Damien Pous, Jurriaan Rot, Jana Wagemaker
In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and th…