A general mathematics of names (Q2373874)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A general mathematics of names |
scientific article |
Statements
A general mathematics of names (English)
0 references
16 July 2007
0 references
Fraenkel-Mostowski set theory
0 references
new quantifier
0 references
nominal techniques
0 references
alpha-conversion
0 references
binding of infinitely many names
0 references
de Bruijn indices
0 references
FM sets
0 references
name-carrying syntax
0 references
Barendregt representatives
0 references
scope extrusion
0 references
