Номинальные техники - Nominal techniques

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Декабрь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. Пожалуйста помоги улучшить статью к обеспечение большего контекста для читателя. (Декабрь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Номинальные техники представляют собой набор методов, основанных на номинальные наборы, для обработки имен и привязки, например в абстрактный синтаксис. Исследование номинальных наборов привело к номинальные условия, метаязык для встраивания объектных языков с конструкциями привязки имен.

Смотрите также

• Индекс Де Брёйна
• Абстрактный синтаксис высшего порядка

Рекомендации

• Мердок Дж. Габбей и Эндрю М. Питтс (2002). «НОВЫЙ подход к абстрактному синтаксису с привязками переменных». Формальные аспекты вычислений. 13 (3–5): 341–363. CiteSeerX  10.1.1.7.4261. Дои:10.1007 / s001650200016.
• Кристиан Урбан, Эндрю М. Питтс и Мердок Дж. Габбей (2004). «Номинальная унификация». Теоретическая информатика. 323 (1–3): 473–497. Дои:10.1016 / j.tcs.2004.06.016.