
ALCOP 2014: Algebra and Coalgebra meet Proof Theory May 15 – 16, 2014 Queen Mary University of London ALCOP The aim of this workshop is…
ALCOP 2014: Algebra and Coalgebra meet Proof Theory May 15 – 16, 2014 Queen Mary University of London ALCOP The aim of this workshop is…