Daniel Lassiter, Marija Slavkovik, editors, New Directions in Logic, Language and Computation - ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers. Volume 7415 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Conference: esslli2012
Abstract is missing.