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 [Internet]. 2017 Nov. 3 [cited 2024 Apr. 29];5(2):229–272. Available from: https://jlm.ipipan.waw.pl/index.php/JLM/article/view/145