Topology, Algebra and Categories in Logic

TACL 2013: Nashville, Tennessee, USA

maintained by Schloss Dagstuhl LZI at University of Trier