Browse by Journal or other publication
Jump to: 2024
Number of items: 1.
2024
Atkey, Robert and Kokke, Wen (2024) A semantic proof of generalised cut elimination for deep inference. Electronic Notes in Theoretical Informatics and Computer Science, 4. ISSN 2969-2431