- Tytuł:
- Factivity and presupposition in Dependent Type Semantics
- Autorzy:
-
Tanaka, R.
Mineshima, K.
Bekki, D. - Data publikacji:
- 2017
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
dependent type
anaphora
presupposition
proof object
factive verb - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki