Author:Alex Simpson

Publications
Conditional Independence in Categories Alex Simpson In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
PSPL 2010. International Workshop on Proof Systems for Program Logics Alex Simpson (editors) EPiC Series in Computing, volume 12