S. Chatzikyriakidis, M. Lafourcade, L. Ramadier, and M. Zarrouk, “Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems”, JLM, vol. 5, no. 2, pp. 229–272, Nov. 2017.