Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings - Kohlenbach, Ulrich; Barceló, Pablo; Queiroz, Ruy de (Springer Berlin Heidelberg : Imprint: Springer, 2014)