Wilfrid Hodges Ruy J. G. B. de Queiroz Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings 5110 2008 978-3-540-69936-1 WoLLIC Lecture Notes in Computer Science Springer db/conf/wollic/wollic2008.html