4 |
Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01947518 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, Type-theoretical approaches to lexical semantics, 5 (2), pp.229-272. ⟨10.15398/jlm.v5i2.145⟩ (2017)
|
|
BASE
|
|
Show details
|
|
5 |
Copredication in homotopy type theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
11 |
Empirische Studien zum Zustandspassiv: Bedeutungsstrukturen und ihre Verarbeitung ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Towards efficient string processing of annotated events ; Proceedings of the 13th Joint ISO-ACL Workshop on Interoperable Semantic Annotation (ISA-13)
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Empirische Studien zum Zustandspassiv: Bedeutungsstrukturen und ihre Verarbeitung
|
|
|
|
BASE
|
|
Show details
|
|
|
|