Publication | Closed Access

Closed categories and the theory of proofs

Automated ReasoningHigher Category TheoryClosed CategoriesCategorical LogicCategorical Model