Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
A general mathematics of names
Year:2007
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
JCR
Si
Title
INFORM COMPUT
ISBN
0890-5401
Impact factor JCR
0,983
Impact info
Volume
205
Journal number
7
From page
982
To page
1011
Month
SIN MES
Ranking
Participants
  • Autor: Murdoch Gabbay (UPM)
Research Group, Departaments and Institutes related
  • Creador: No seleccionado
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)