|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/221
|
| Title: | Abstract Syntax and Variable Binding (Extended Abstract) |
| Authors: | Fiore, Marcelo P
Plotkin, Gordon
Turi, Daniele |
| Issue Date: | 6-Nov-2003 |
| 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
compatible algebra and substitution structures. 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 veri-
fies the semantic substitution lemma. |
| Keywords: | Laboratory for Foundations of Computer Science |
| URI: | http://hdl.handle.net/1842/221 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
