Nominal techniques
{{no footnotes|date=December 2010}}
Nominal techniques in computer science are a range of techniques, based on nominal sets, for handling names and binding, e.g. in abstract syntax. Research into nominal sets gave rise to nominal terms, a metalanguage for embedding object languages with name binding constructs.
See also
References
- {{cite journal
| doi = 10.1007/s001650200016
| author = Murdoch J. Gabbay and Andrew M. Pitts
| title = A NEW approach to abstract syntax with variable binders
| journal = Formal Aspects of Computing
| volume = 13
| pages = 341–363
| year = 2002
| issue = 3–5
| citeseerx = 10.1.1.7.4261
}}
- {{cite journal
| doi = 10.1016/j.tcs.2004.06.016
| author = Christian Urban, Andrew M. Pitts and Murdoch J. Gabbay
| year = 2004
| title = Nominal unification
| journal = Theoretical Computer Science
| volume = 323
| issue = 1–3
| pages = 473–497
| doi-access = free
}}