Nominal techniques

Nominal techniques

Nominal techniques 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 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 (3–5): 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. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Nominal (disambiguation) — A nominal is one of the parts of speech. Nominal may also refer to: Nominal aphasia, a problem remembering words and names Nominal category, a group of objects or ideas that can be collectively grouped on the basis of shared, arbitrary… …   Wikipedia

  • Nominal terms (computer science) — Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first order terms with support for name binding. Consequently, the native notion of equality between… …   Wikipedia

  • nominal — nominal, ale (no mi nal, na l ) adj. 1°   Qui est relatif au nom. •   Il arrive si souvent, et surtout en histoire naturelle, qu une erreur nominale entraîne une erreur réelle...., BUFF. Ois. t. III, p. 352.    Terme de logique. Définition… …   Dictionnaire de la Langue Française d'Émile Littré

  • Nominal group technique — The nominal group technique (NGT) is a decision making method for use among groups of many sizes, who want to make their decision quickly, as by a vote, but want everyone s opinions taken into account (as opposed to traditional voting, where only …   Wikipedia

  • Nominal-Group-Technique — Die Nominal Group Technique ist eine Methode zur Ideenfindung und deren Priorisierung. Ähnlich der Methode 6 3 5 werden in einer moderierten Diskussion zu einem bestimmten Thema Vorschläge in schriftlicher Form gegeben. Diese werden anschließend… …   Deutsch Wikipedia

  • Nominal (astronautique) — On qualifie de nominal, dans le domaine de l astronautique, une grandeur, un état ou un processus, conforme à une référence prédéterminée, aux erreurs de mesure près. Par exemple, la « durée nominale » de la mission Mars Express de l… …   Wikipédia en Français

  • Real versus nominal value — For the distinction between real purchasing power and money value, see Real versus nominal value (economics). The distinction between real value and nominal value occurs in many fields. From a philosophical viewpoint, nominal value represents an… …   Wikipedia

  • Harmonica techniques — There are numerous techniques available for harmonica. A few are described here. For details of how to do such techniques, visit the Harmonica wikibook. Contents 1 Bending and other techniques 2 Overbending 3 Positions …   Wikipedia

  • Mode nominal — Pour un système, le fonctionnement en mode nominal est le contraire d un fonctionnement en mode dégradé. Le système n est pas fautif (aucun capteur ou appareils en panne, aucun imprévu de fonctionnement). Catégorie : Techniques et sciences… …   Wikipédia en Français

  • ECONOMIC AFFAIRS — THE PRE MANDATE (LATE OTTOMAN) PERIOD Geography and Borders In September 1923 a new political entity was formally recognized by the international community. Palestine, or Ereẓ Israel as Jews have continued to refer to it for 2,000 years,… …   Encyclopedia of Judaism

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”