| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинар С. Л. Кузнецова и С. О. Сперанского "Логические и алгебраические методы в языкознании"
|
|||
|
|
|||
|
Семантика с зависимыми типами и представление анафоры Павел Соколов |
|||
|
Аннотация: В докладе будет представлена динамическая семантика, основанная на зависимых типах (DTS). Будут рассмотрены примеры, в которых данная семантика справляется лучше первопорядковой (например, для представления анафоры), а также будут даны все необходимые сведения из теории типов. |
|||
