@article{article, title  = {{Recursion principles for syntax with bindings and substitution}},

 publisher = {{Association for Computing Machinery (ACM)}},

 url = {{http://dx.doi.org/10.1145/2034574.2034819 }},

 year = {{2011}},

 month = {{9}},

 author = {{Popescu A and Gunter EL}},

 doi = {{10.1145/2034574.2034819}},

 volume = {{46}},

 journal = {{ACM SIGPLAN Notices}},

 issue = {{9}},

 pages = {{346-358}},

 note = {{Accessed on 2024/12/23}}}