Author:
Uustalu Tarmo,Veltri Niccolò,Zeilberger Noam
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Monads need not be endofunctors;Altenkirch;Log. Methods Comput. Sci.,2015
2. Catégories avec multiplication;Bénabou;C. R. Acad. Sci. Paris,1963
3. Free skew monoidal categories;Bourke;J. Pure Appl. Alg.,2018
4. Skew monoidal categories and skew multicategories;Bourke;J. Alg.,2018
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The formal theory of relative monads;Journal of Pure and Applied Algebra;2024-09
2. Everybody knows what a normal gabi-algebra is;Advances in Mathematics;2024-08
3. Clones, closed categories, and combinatory logic;Lecture Notes in Computer Science;2024
4. Proof Theory of Skew Non-Commutative MILL;Electronic Proceedings in Theoretical Computer Science;2022-04-14
5. Deductive Systems and Coherence for Skew Prounital Closed Categories;Electronic Proceedings in Theoretical Computer Science;2021-01-12