432 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Augusta UniversityUS11 papers
- Georgia State UniversityUS3 papers
- Illinois State UniversityUS3 papers
- Sun Yat-sen UniversityCN3 papers
- University of Maine at AugustaUS3 papers
- West Virginia UniversityUS3 papers
- University of California, Santa BarbaraUS2 papers
- Beijing Academy of Quantum Information SciencesCN1 paper
- Center for Micro-BioRoboticsIT1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Dakota State UniversityUS1 paper
- Emory UniversityUS1 paper
Showing 2019Show all
2 papers · 1 filter
math.CT2019
Categories for Me, and You?
Clément Aubert
A non-self-contained gathering of notes on category theory, including the definition of locally cartesian closed category, of the cartesian structure in slice categories, or of the…
cs.LO2019★ 2 cited
On the Lambek Calculus with an Exchange Modality
Jiaming Jiang, Harley Eades, Valeria de Paiva
In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing…