Эта публикация цитируется в 1 статье

Informatics

О формализации понятия $\delta$-редукции в монотонных моделях типового $\lambda$-исчисления

Л. Будагян

University of Bergen

Аннотация: В статье рассматриваются монотонные модели типового $\lambda$-исчисления. Впервые дается формальное определение понятия $\delta$-редукции. Доказывается сильная $\delta$-нормализуемость и сильная $\beta\delta$-нормализуемость термов. Вводится понятие естественной $\delta$-редукции и приводится необходимое и достаточное условие единственности $\beta\delta$-нормальной формы для такого понятия.

Ключевые слова: Монотонные модели типового $\lambda$-исчисления, редукция.

УДК: 519.68:510

Поступила в редакцию: 30.05.2002
Принята в печать: 10.03.2003