Nominal techniques
Encyclopedia
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.
Abstract syntax
The abstract syntax of data is its structure described as a data type , independent of any particular representation or encoding....
. Research into nominal sets gave rise to nominal terms
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 two nominal terms is alpha-equivalence...
, a metalanguage for embedding object languages with name binding constructs into.