%0 Journal Article %1 journals/jar/LakinP12 %A Lakin, Matthew R. %A Pitts, Andrew M. %D 2012 %J J. Autom. Reason. %K dblp %N 2 %P 115-140 %T Encoding Abstract Syntax Without Fresh Names. %U http://dblp.uni-trier.de/db/journals/jar/jar49.html#LakinP12 %V 49

@article{journals/jar/LakinP12, added-at = {2020-09-02T00:00:00.000+0200}, author = {Lakin, Matthew R. and Pitts, Andrew M.}, biburl = {https://www.bibsonomy.org/bibtex/2502de83c02033e09090bbc5c7b6efc58/dblp}, ee = {https://doi.org/10.1007/s10817-011-9220-7}, interhash = {41296dbc07bffdd1da4b083d020dcd1b}, intrahash = {502de83c02033e09090bbc5c7b6efc58}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {115-140}, timestamp = {2020-09-09T13:35:05.000+0200}, title = {Encoding Abstract Syntax Without Fresh Names.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar49.html#LakinP12}, volume = 49, year = 2012 }