Номинальные методы

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (December 2010) (Learn how and when to remove this message)

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

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

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