Publisher
Springer Nature Singapore
Reference39 articles.
1. S. Abramsky, B. Coecke, A categorical semantics of quantum protocols, in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004 (IEEE Computer Society Press, 2004) pp. 415–425
2. J.C. Baez, B. Coya, F. Rebro, Props in network theory. Theory Appl. Categ. 33(25), 727–783 (2018) (2017)
3. J.C. Baez, J. Erbele, Categories in control. Theory Appl. Categ. 30(24), 836–881 (2015) (2014)
4. J.C. Baez, B. Fong, A compositional framework for passive linear networks. Theory Appl. Categ. 33(38), 1158–1222 (2018) (2015)
5. G. Boisseau, J. Gibbons, What you need a know about Yoneda: profunctor optics and the Yoneda Lemma (functional pearl), in Proceedings of the ACM on Programming Languages, 2(ICFP) (2018), pp. 1–27