Author:
Gambino Nicola,Joyal André
Publisher
American Mathematical Society (AMS)
Subject
Applied Mathematics,General Mathematics
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Curved operadic calculus;Bulletin de la Société mathématique de France;2024-05-21
2. Automata and Coalgebras in Categories of Species;Lecture Notes in Computer Science;2024
3. Free and based path groupoids;Algebraic & Geometric Topology;2023-07-25
4. From Thin Concurrent Games to Generalized Species of Structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Why Are Proofs Relevant in Proof-Relevant Models?;Proceedings of the ACM on Programming Languages;2023-01-09