Equivalence and Conditional Independence in Atomic Sheaf Logic

Alex Simpson. Equivalence and Conditional Independence in Atomic Sheaf Logic. Journal of the ACM, 73(3), June 2026. [doi]

Abstract

Abstract is missing.