Nominální techniky - Nominal techniques

Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale jeho zdroje zůstávají nejasné, protože mu chybí vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (Prosinec 2010) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

tento článek poskytuje nedostatečný kontext pro ty, kteří danému tématu nejsou obeznámeni. Prosím pomozte vylepšit článek podle poskytuje čtenáři více kontextu. (Prosinec 2010) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Nominální techniky je řada technik založených na nominální sady, pro manipulaci se jmény a vazbami, např. v abstraktní syntaxe. Výzkum nominálních množin vedl k nominální podmínky, metajazyk pro vkládání jazyků objektů do konstruktů vázajících názvy.

Viz také

• De Bruijnův index
• Abstraktní syntaxe vyššího řádu

Reference

• Murdoch J. Gabbay a Andrew M. Pitts (2002). Msgstr "NOVÝ přístup k abstraktní syntaxi s proměnnými pořadači". Formální aspekty práce na počítači. 13 (3–5): 341–363. CiteSeerX  10.1.1.7.4261. doi:10,1007 / s001650200016.
• Christian Urban, Andrew M. Pitts a Murdoch J. Gabbay (2004). "Nominální sjednocení". Teoretická informatika. 323 (1–3): 473–497. doi:10.1016 / j.tcs.2004.06.016.