Categorical Proof-theoretic Semantics
Article in Studia Logica (May 2024)
The most recent citing publications are shown below. View all 173 publications that cite this research output on Dimensions.
Article in Studia Logica (May 2024)
Article in Automated Software Engineering (February 2024)
Conference proceeding (October 2023)