Generalised Name Abstraction for Nominal Sets (Q4910435)
From MaRDI portal
scientific article; zbMATH DE number 6145849
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalised Name Abstraction for Nominal Sets |
scientific article; zbMATH DE number 6145849 |
Statements
Generalised Name Abstraction for Nominal Sets (English)
0 references
18 March 2013
0 references
name binding
0 references
nominal sets
0 references
adjoint functors
0 references
