Nominella tekniker

Nominella tekniker inom datavetenskap är en rad tekniker, baserade på nominella mängder, för att hantera namn och bindning, t.ex. i abstrakt syntax . Forskning om nominella mängder gav upphov till nominella termer , ett metaspråk för att bädda in objektspråk med namnbindande konstruktioner.

Se även

• De Bruijn index
• Abstrakt syntax av högre ordning

•   Murdoch J. Gabbay och Andrew M. Pitts (2002). "EN NY metod för abstrakt syntax med variabla bindare". Formella aspekter av datoranvändning . 13 (3–5): 341–363. CiteSeerX 10.1.1.7.4261 . doi : 10.1007/s001650200016 .
• Christian Urban, Andrew M. Pitts och Murdoch J. Gabbay (2004). "Nominell förening" . Teoretisk datavetenskap . 323 (1–3): 473–497. doi : 10.1016/j.tcs.2004.06.016 .