Author:
Uustalu Tarmo,Veltri Niccolò,Wan Cheng-Syuan
Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference28 articles.
1. Non-commutative Intuitionistic Linear Logic;Abrusci;Mathematical Logic Quarterly,1990
2. Monads Need Not Be Endofunctors;Altenkirch;Logical Methods in Computer Science,2015
3. Logic Programming with Focusing Proofs in Linear Logic;Andreoli;Journal of Logic and Computation,1992
4. Skew structures in 2-category theory and homotopy theory;Bourke;Journal of Homotopy and Related Structures,2017
5. Skew Monoidal Categories and Skew Multicategories;Bourke;Journal of Algebra,2018
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semi-Substructural Logics with Additives;Electronic Proceedings in Theoretical Computer Science;2024-04-23
2. Maximally Multi-focused Proofs for Skew Non-Commutative MILL;Logic, Language, Information, and Computation;2023