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

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