Substitution in non-wellfounded syntax with variable binding Export

@article{citeulike:3815057, 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.}, author = {Matthes, R. and Uustalu, T.}, citeulike-article-id = {3815057}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.tcs.2004.07.025}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S0304397504004475}, day = {25}, doi = {10.1016/j.tcs.2004.07.025}, issn = {03043975}, journal = {Theoretical Computer Science}, keywords = {coalgebra, monad}, month = {October}, number = {1-2}, pages = {155--174}, posted-at = {2008-12-21 03:24:53}, priority = {2}, title = {Substitution in non-wellfounded syntax with variable binding}, url = {http://dx.doi.org/10.1016/j.tcs.2004.07.025}, volume = {327}, year = {2004} }

TY - JOUR ID - citeulike:3815057 L3 - citeulike-article-id:3815057 N2 - 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. IS - 1-2 JF - Theoretical Computer Science SN - 03043975 EP - 174 TI - Substitution in non-wellfounded syntax with variable binding VL - 327 SP - 155 KW - coalgebra KW - monad AU - Matthes, R AU - Uustalu, T PY - 2004/10/25/ UR - http://dx.doi.org/10.1016/j.tcs.2004.07.025 ER -