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