Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings - Kennedy, Juliette; de Queiroz, Ruy J.G.B (Springer Berlin Heidelberg : Imprint: Springer, 2017)