Chatzikyriakidis, S.; Lafourcade, M.; Ramadier, L.; Zarrouk, M. Type Theories and Lexical Networks: Using Serious Games As the Basis for Multi-Sorted Typed Systems. JLM 2017, 5, 229–272.