Формализация контекстов в теории типов с записями и модулями
Представлен подход к формализации контекстов в семантике естественного языка, основанный на теории типов с записями и модулями. Описаны общие принципы формализации и ее конкретная реализация в системе Agda. Показана связь данного подхода с ситуационной семантикой Дж. Барвайса и Дж. Перри. Привед...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 52. С. 23-38 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000708119 Перейти в каталог НБ ТГУ |