Semantics and Syntax, Between Computer Science and Mathematics
Book chapter (October 2023)
The most recent citing publications are shown below. View all 72 publications that cite this research output on Dimensions.
Book chapter (October 2023)
Preprint in arXiv (June 2021)
Article in Mathematical Structures in Computer Science (April 2018)