Recursive Difference Categories and Topos-Theoretic Universality. - Andreu Ballus Santacana (CoRR, 2025)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces. - Andreu Ballus Santacana (CoRR, 2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation. - Andreu Ballus Santacana (CoRR, 2025)