학술논문
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability
Document Type
Conference Paper
Author
Source
In: Leibniz International Proceedings in Informatics, LIPIcs , 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. (Leibniz International Proceedings in Informatics, LIPIcs, February 2024, 288)
Subject
Language
English
ISSN
18688969