Paper Info
Title
Substitution in non-wellfounded syntax with variable binding
Abstract
Inspired from the recent developments in theories of non-wellfounded syntax (coinductively defined languages) and of syntax with binding operators, the structure of algebras of wellfounded and non-wellfounded terms is studied for a very general notion of signature permitting both simple variable binding operators as well as operators of explicit substitution. This is done in an extensional mathematical setting of initial algebras and final coalgebras of endofunctors on a functor category. The main technical tool is a novel concept of heterogeneous substitution systems.
Year
DOI
Venue
2004
10.1016/j.tcs.2004.07.025
Electr. Notes Theor. Comput. Sci.
Keywords
DocType
Volume
monad,functor category,substitution
Journal
327
Issue
ISSN
Citations 
1-2
1571-0661
13
PageRank 
References 
Authors
0.75
32
2
Name
Order
Citations
PageRank
Ralph Matthes120121.67
Tarmo Uustalu258055.11