Nominal techniques: Difference between revisions
Content deleted Content added
DPMulligan (talk | contribs) No edit summary |
m Citations: [Pu177]Tweaked: journal, doi. You can use this bot yourself! Report bugs here. |
||
| Line 8: | Line 8: | ||
* {{cite journal |
* {{cite journal |
||
| doi = 10.1007/s001650200016 |
|||
| author = Murdoch J. Gabbay and Andrew M. Pitts |
| author = Murdoch J. Gabbay and Andrew M. Pitts |
||
| title = A NEW approach to abstract syntax with variable binders |
| title = A NEW approach to abstract syntax with variable binders |
||
| Line 16: | Line 17: | ||
}} |
}} |
||
* {{cite journal |
* {{cite journal |
||
| doi = 10.1016/j.tcs.2004.06.016 |
|||
| author = Christian Urban, Andrew M. Pitts and Murdoch J. Gabbay |
| author = Christian Urban, Andrew M. Pitts and Murdoch J. Gabbay |
||
| year = 2004 |
| year = 2004 |
||
Revision as of 21:36, 20 July 2010
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. doi:10.1007/s001650200016.
- Christian Urban, Andrew M. Pitts and Murdoch J. Gabbay (2004). "Nominal unification". Theoretical Computer Science. 323: 473–497. doi:10.1016/j.tcs.2004.06.016.