## Abstract syntax and variable binding (extended abstract (1999)

Venue: | In Proc. 14 th LICS |

Citations: | 21 - 0 self |

### BibTeX

@INPROCEEDINGS{Fiore99abstractsyntax,

author = {Marcelo Fiore and Gordon Plotkin and Daniele Turi},

title = {Abstract syntax and variable binding (extended abstract},

booktitle = {In Proc. 14 th LICS},

year = {1999},

pages = {193--202},

publisher = {IEEE Computer Science Press}

}

### Years of Citing Articles

### OpenURL

### Abstract

Abstract We develop a theory of abstract syntax with variable binding. To every binding signature we associate a category of models consisting of variable sets endowed with both a (binding) algebra and a substitution structure compatible with each other. The syntax generated by the signature is the initial model. This gives a notion of initial algebra semantics encompassing the traditional one; besides compositionality, it automatically verifies the semantic substitution lemma.