Author:
Sobociński Paweł,Stephens Owen
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics for a Lambda Calculus for String Diagrams;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. String diagram rewrite theory III: Confluence with and without Frobenius;Mathematical Structures in Computer Science;2022-06-13
3. Enriching a Linear/Non-linear Lambda Calculus;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
4. Confluence of Graph Rewriting with Interfaces;Programming Languages and Systems;2017
5. Rewriting modulo symmetric monoidal structure;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05