Equivalence and Conditional Independence in Atomic Sheaf Logic.

Alex Simpson

Browse the full LICS paper archive.