abstract syntax and variable binding

• To: types@cis.upenn.edu
• Subject: abstract syntax and variable binding
• From: "Daniele Turi" <dt@dcs.ed.ac.uk>
• Date: Wed, 16 Dec 1998 18:26:12 GMT

The preprint

	Abstract Syntax and Variable Binding 

by 

	M. Fiore, G. Plotkin, and D. Turi

is available as

	http://www.dcs.ed.ac.uk/~dt/abstractsyn.ps

Synopsis:

We develop a theory of abstract syntax with variable binding.
To every binding signature we associate a category of models
consisting of \emph{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.

• Prev: TACAS '99 Accepted Papers
• Next: Thesis Announcement: Type Inference with Bounded Quantification
• Index(es):
  • Main
  • Thread