Sciweavers

LICS
1999
IEEE

Abstract Syntax and Variable Binding

13 years 8 months ago
Abstract Syntax and Variable Binding
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op 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 verifies the semantic substitution lemma.
Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LICS
Authors Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
Comments (0)