Concepedia
Publication | Closed Access
Coherence in closed categories
205
Citations
5
References
1971
Year
Automated ReasoningHigher Category TheoryClosed CategoriesCategorical LogicCategorical Model
Page 1