Técnicas nominales

En informática, las técnicas nominales son un conjunto de técnicas, basadas en conjuntos nominales , para el manejo de nombres y la vinculación de nombres, por ejemplo, en la sintaxis abstracta . La investigación sobre conjuntos nominales dio origen a los términos nominales , un metalenguaje para integrar lenguajes de objetos con construcciones de vinculación de nombres.

• Índice de De Bruijn
• sintaxis abstracta de orden superior

• Murdoch J. Gabbay y Andrew M. Pitts (2002). "Un NUEVO enfoque de la sintaxis abstracta con enlazadores de variables". Aspectos formales de la computación . 13 ( 3–5 ): 341–363 . CiteSeerX 10.1.1.7.4261 . doi : 10.1007/s001650200016 . 
• Christian Urban, Andrew M. Pitts y Murdoch J. Gabbay (2004). "Unificación nominal" . Theoretical Computer Science . 323 ( 1–3 ): 473–497 . doi : 10.1016/j.tcs.2004.06.016 .