Publisher
Springer Berlin Heidelberg
Reference49 articles.
1. Amadio, R., Curien, P.-L.: Domains and Lambda-Calculi. Cambridge University Press, Cambridge (1998)
2. Lecture Notes in Computer Science;A. Barber,1998
3. Barber, A.: Linear Type Theories, Semantics and Action Calculi. PhD Thesis of the University of Edinburgh. LFCS Technical Report CS-LFCS-97-371 (1997)
4. Lecture Notes in Mathematics;J. Bénabou,1967
5. Lecture Notes in Computer Science;N. Benton,1995
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A structure theorem for generalized-noncontextual ontological models;Quantum;2024-03-14
2. Entanglement-symmetries of covariant channels;Quantum;2024-02-29
3. Collages of String Diagrams;Electronic Proceedings in Theoretical Computer Science;2023-12-14
4. String Diagrams for Layered Explanations;Electronic Proceedings in Theoretical Computer Science;2023-08-07
5. Deconstructing the Calculus of Relations with Tape Diagrams;Proceedings of the ACM on Programming Languages;2023-01-09