Jump to content

Nominal techniques

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by DPMulligan (talk | contribs) at 21:09, 13 May 2010. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Nominal techniques are a range of techniques, centred on nominal sets, for handling abstract syntax with name binding. Research into nominal sets gave rise to nominal terms, a metalanguage for embedding object languages with name binding constructs into.

See also

References

  • Murdoch J. Gabbay and Andrew M. Pitts (2002). "A NEW approach to abstract syntax with variable binders". Formal Aspects of Computing. 13: 341–363.
  • Christian Urban, Andrew M. Pitts and Murdoch J. Gabbay (2004). "Nominal unification". Theoretical Computer Science. 323: 473–497.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Nominal_techniques&oldid=361963554"