Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинар С. Л. Кузнецова и С. О. Сперанского "Логические и алгебраические методы в языкознании"
5 апреля 2023 г. 18:00–19:30, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
 


Семантика с зависимыми типами и представление анафоры

Павел Соколов
Видеозаписи:
MP4 270.5 Mb
Дополнительные материалы:
Adobe PDF 68.3 Kb

Количество просмотров:
Эта страница:215
Видеофайлы:56
Материалы:27
Youtube:

Павел Соколов



Аннотация: В докладе будет представлена динамическая семантика, основанная на зависимых типах (DTS). Будут рассмотрены примеры, в которых данная семантика справляется лучше первопорядковой (например, для представления анафоры), а также будут даны все необходимые сведения из теории типов.

Дополнительные материалы: p_sokolov.pdf (68.3 Kb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024