2 |
Formalization ov Coercions in Lexical Semantics
|
|
|
|
In: Sinn und Bedeutung; Bd. 17 (2013): Proceedings of Sinn und Bedeutung 17; 63-80 ; Proceedings of Sinn und Bedeutung; Vol 17 (2013): Proceedings of Sinn und Bedeutung 17; 63-80 ; 2629-6055 (2019)
|
|
BASE
|
|
Show details
|
|
7 |
Dependent Event Types
|
|
|
|
In: Logic, Language, Information, and Computation ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017) ; https://hal.archives-ouvertes.fr/hal-01913662 ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), Jul 2017, London, United Kingdom. pp. 216-228 (2017)
|
|
BASE
|
|
Show details
|
|
10 |
Type-theoretical semantics with coercive subtyping
|
|
|
|
In: Semantics and Linguistic Theory; Proceedings of SALT 20; 38-56 ; 2163-5951 (2010)
|
|
BASE
|
|
Show details
|
|
|
|