Abstract Categorical Logic

Marc Aiguier, Isabelle Bloch. Abstract Categorical Logic. Logica Universalis, 17(1):23-67, March 2023. [doi]

Abstract

Abstract is missing.