Searching for "Nominal Abstraction" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Fresh O’Caml: Nominal abstract syntax for the masses
- …Fresh O’Caml: nominal abstract syntax for the masses Mark R. Shinwell 1 University of Cambridge…
- Cited by 3 (0 self) – Add To MetaCart
-
Scrap your Nameplate - Functional Pearl
- … operations. However, in nominal abstract syntax, an alternative treatment of names and binding based…
- Cited by 10 (3 self) – Add To MetaCart
-
Dealing with nominalizations in Mandarin Chinese using a principles and parameters parser. Computer
- … complement, nominalization with an abstract head noun, and nominalization with empty NP's and acts itself…
- Cited by 1 (0 self) – Add To MetaCart
-
Toward a General Theory of Names, Binding and Scope
- …, the Theory of Contexts, and nominal abstract syntax address only one relatively restrictive form of scoping…
- Add To MetaCart
-
Simple nominal type theory
- …Simple nominal type theory James Cheney University of Edinburgh Abstract. Nominal logic…
- Cited by 1 (0 self) – Add To MetaCart
-
Completeness and Herbrand Theorems for Nominal Logic
- …COMPLETENESS AND HERBRAND THEOREMS FOR NOMINAL LOGIC JAMES CHENEY Abstract. Nominal logic is a…
- Cited by 5 (4 self) – Add To MetaCart
-
Nominal techniques in Isabelle/HOL
- … function space for representing lambda-abstractions. Definition 5 (Nominal Abstractions). An operation…
- Cited by 33 (6 self) – Add To MetaCart
-
Nominal Logic Programming
- …-swapping and freshness. We call this approach nominal abstract syntax. Pitts has developed a variant of first-order logic…
- Cited by 16 (8 self) – Add To MetaCart
-
The Complexity of Equivariant Unification
- …@(email omitted);) Abstract. Nominal logic is a first-order theory of names and binding based on a primitive operation…
- Cited by 9 (7 self) – Add To MetaCart
-
Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence
- … ���� can be encoded as nominal terms ����x� and abstractions ����x��� where…
- Cited by 20 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
