Binding in Nominal Equational Logic (Q3178258)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Binding in Nominal Equational Logic |
scientific article |
Statements
Binding in Nominal Equational Logic (English)
0 references
8 July 2016
0 references
equational logic
0 references
nominal sets
0 references
name binding
0 references
alpha-conversion
0 references
nominal signatures
0 references
