ALCOP 2014: Algebra and Coalgebra meet Proof Theory May 15 – 16, 2014 Queen Mary University of London ALCOP The aim of this workshop is…
Research group in Theoretical Computer Science at Queen Mary University of London