학술논문
Differential 2-rigs
Document Type
Conference Paper
Author
Source
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - 5th International Conference on Applied Category Theory, ACT 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 7 August 2023, 380:159-182)
Subject
Language
English
ISSN
20752180