Author:
Hindley J. Roger,Seldin Jonathan P.
Publisher
Cambridge University Press
Cited by
119 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Combinators as presheaves;Logic Journal of the IGPL;2024-08-06
2. Braids, Twists, Trace and Duality in Combinatory Algebras;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Bialgebraic Reasoning on Higher-order Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
4. Logical Predicates in Higher-Order Mathematical Operational Semantics;Lecture Notes in Computer Science;2024
5. Computational paths - a weak groupoid;Journal of Logic and Computation;2023-11-24