Subject
General Computer Science,Theoretical Computer Science
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Differential 2-rigs;Electronic Proceedings in Theoretical Computer Science;2023-08-07
2. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. Fixed Points and Noetherian Topologies;Lecture Notes in Computer Science;2023
4. Minimal bad sequences are necessary for a uniform Kruskal theorem;Advances in Mathematics;2022-05
5. On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants;Logical Methods in Computer Science;2022-01-06