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