Searching for "Nominal Equational Logic." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Nominal Unification
- … # X, b # X} ⊢ fn a.X ≈ fn b.X is a valid judgement of our nominal equational logic. Similarly…
- Cited by 31 (13 self) – Add To MetaCart
-
unknown title
- … Nominal equational logic We take a concrete approach to the syntax of binders in which bound entities…
- Add To MetaCart
-
Finitary construction of free algebras for equational systems
- … example of this situation, we consider in Section 6 the recently introduced Nominal Equational Logic…
- Cited by 1 (0 self) – Add To MetaCart
-
Nominal Unification
- …} # fn a.X # fn b.X (7) is a valid judgement of our nominal equational logic. Similarly, judgements…
- Add To MetaCart
-
Nominal Unification
- …. For example ���� (7) is a valid judgement of our nominal equational logic. Similarly, judgements about…
- Add To MetaCart
Showing 1 through 5.
