A Semantic Proof of Generalised Cut Elimination for Deep Inference
Preprint in arXiv (April 2024)
The most recent citing publications are shown below. View all 256 publications that cite this research output on Dimensions.
Preprint in arXiv (April 2024)
Article in St Petersburg Mathematical Journal (February 2024)
Article in Proceedings of the American Mathematical Society (October 2023)