Publisher
Springer Berlin Heidelberg
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Compositional Pre-processing for Automated Reasoning in Dependent Type Theory;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
3. Formalization of a Polymorphic Subtyping Algorithm;Interactive Theorem Proving;2018
4. Visitors unchained;Proceedings of the ACM on Programming Languages;2017-08-29
5. Constraint handling rules with binders, patterns and generic quantification;Theory and Practice of Logic Programming;2017-08-22