Chatzikyriakidis, S., Lafourcade, M., Ramadier, L. and Zarrouk, M. 2017. Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems. Journal of Language Modelling. 5, 2 (Nov. 2017), 229–272. DOI:https://doi.org/10.15398/jlm.v5i2.145.