8th International conference on formal structures for computation and deduction, FSCD 2023
Date
2023-06
Authors
Gaboardi, Marco
van Raamsdonk, Femke
Version
OA Version
Published version
Citation
2023. "8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023"
Abstract
Description
License
This article is distributed under the terms of the Creative Commons Attribution 4.0 International.