Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems

Stergios Chatzikyriakidis, Mathieu Lafourcade, Lionel Ramadier, Manel Zarrouk. Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems. J. Language Modelling, 5(2):229-272, 2017. [doi]

Abstract

Abstract is missing.