Publisher
Cambridge University Press
Cited by
90 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets;Proceedings of the ACM on Programming Languages;2024-01-05
2. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
3. A Spatial Logic with Time and Quantifiers;Lecture Notes in Computer Science;2024
4. Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version;Journal of Automated Reasoning;2023-07-05
5. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26