Topology, Algebra and Categories in Logic

TACL 2013: Nashville, Tennessee, USA

maintained by Schloss Dagstuhl LZI, founded at University of Trier