Формализация контекстов в теории типов с записями и модулями

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Формализация контекстов в теории типов с записями и модулями	550 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/1998863X/52/3

Title: Формализация контекстов в теории типов с записями и модулями
Title: Formalization of contexts in type theory with records and modules
Creator: Доманов, Олег Анатольевич
Date: 2019
DOI: 10.17223/1998863X/52/3
Description: Представлен подход к формализации контекстов в семантике естественного языка, основанный на теории типов с записями и модулями. Описаны общие принципы формализации и ее конкретная реализация в системе Agda. Показана связь данного подхода с ситуационной семантикой Дж. Барвайса и Дж. Перри. Приведены примеры описания референциальной непрозрачности контекстов, а также понятий абстрактного и конкретного смыслов из ситуационной семантики. Код формализации свободно доступен.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 52. С. 23-38
Language: rus

Created: 18-03-2020

472 Visitors

319 Hits

168 Downloads

Журналы ТГУ Формализация контекстов в теории типов с записями и модулями