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