Abstract Syntax and Variable Binding (Extended Abstract)
dc.contributor.author | Fiore, Marcelo P | |
dc.contributor.author | Plotkin, Gordon | |
dc.contributor.author | Turi, Daniele | |
dc.coverage.spatial | 10 | en |
dc.date.accessioned | 2003-11-06T10:51:32Z | |
dc.date.available | 2003-11-06T10:51:32Z | |
dc.date.issued | 2003-11-06T10:51:32Z | |
dc.identifier.uri | http://hdl.handle.net/1842/221 | |
dc.description.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. | en |
dc.format.extent | 204747 bytes | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.subject | Laboratory for Foundations of Computer Science | |
dc.title | Abstract Syntax and Variable Binding (Extended Abstract) | en |
dc.type | Preprint | en |