Descripción
|
|
---|---|
We introduce FMG (Fraenkel¿Mostowski Generalised) set theory, a generalisation of FM set theory which allows binding of infinitely many names instead of just finitely many names. We apply this generalisation to show how three presentations of syntax¿de Bruijn indices, FM sets, and name-carrying syntax¿have a relation generalising to all sets and not only sets of syntax trees. We also give syntax-free accounts of Barendregt representatives, scope extrusion, and other phenomena associated to α-equivalence. | |
Internacional
|
Si |
JCR del ISI
|
Si |
Título de la revista
|
INFORM COMPUT |
ISSN
|
0890-5401 |
Factor de impacto JCR
|
0,983 |
Información de impacto
|
|
Volumen
|
205 |
DOI
|
|
Número de revista
|
7 |
Desde la página
|
982 |
Hasta la página
|
1011 |
Mes
|
SIN MES |
Ranking
|