Author:
Cockett J.R.B.,Lack Stephen
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Two-dimensional monad theory;Blackwell;J. Pure Appl. Algebra,1989
2. Bicategories of partial maps;Carboni;Cah. de Top. Geom. Diff.,1987
3. Introduction to extensive and distributive categories;Carboni;J. Pure Appl. Algebra,1993
Cited by
99 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. GADTs are not (Even partial) functors;Mathematical Structures in Computer Science;2024-08-27
2. The Relational Machine Calculus;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Regular planar monoidal languages;Journal of Logical and Algebraic Methods in Programming;2024-06
4. On non-regular semigroups: $\lambda$-semidirect products, Zappa-Szép products and representations;Hacettepe Journal of Mathematics and Statistics;2024-01-10
5. CLASSICAL DISTRIBUTIVE RESTRICTION CATEGORIES;THEOR APPL CATEG;2024