Gaboardi, Marcovan Raamsdonk, FemkeGaboardi, Marcovan Raamsdonk, Femke2024-04-302024-04-302023-062023. "8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023"https://hdl.handle.net/2144/48658This article is distributed under the terms of the Creative Commons Attribution 4.0 International.https://creativecommons.org/licenses/by/4.0/Book2024-02-1510.4230/LIPIcs.FSCD.2023.0899572