Concepedia
Statistics
Publications
27
Citations
2.1K
H-Index
21
Active since
1982
Affiliations
University of Milan(Current)
The University of Sydney
University of Genoa
University of Trieste
Macquarie University
A. Carboni is an author at University of Milan specializing in automated reasoning, semantics, and language studies.
Top concepts
Automated ReasoningSemanticsSyntaxLanguageLinguisticsEngineeringFormal MethodsAdjoint MethodsComputer ScienceGrammar
Publications per year
1982–2008
Introduction to extensive and distributive categories
A. Carboni, Stephen Lack, R. F. C. Walters · Journal of Pure and Applied Algebra · 1993 · 282 citations
Distributive Categories, Language Studies, Semantic Web +5
Cartesian bicategories I
A. Carboni, R. F. C. Walters · Journal of Pure and Applied Algebra · 1987 · 281 citations
Higher Category Theory, Categorical Model, Cartesian Bicategories +1
Diagram chasing in Mal'cev categories
A. Carboni, J. Lambek, Maria Cristina Pedicchio · Journal of Pure and Applied Algebra · 1991 · 188 citations
Automated Reasoning, Higher Category Theory, Categorical Logic +2
Some remarks on Maltsev and Goursat categories
A. Carboni, G. M. Kelly, Maria Cristina Pedicchio · Applied Categorical Structures · 1993 · 160 citations
Higher Category Theory, Categorical Model, Goursat Categories
Regular and exact completions
A. Carboni, E. M. Vitale · Journal of Pure and Applied Algebra · 1998 · 138 citations
Automated Reasoning, Exact Completions, Set-theoretic Topology +1
1–5 of 27