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

Return to Article Details Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems Download Download PDF