%0 Journal Article %1 journals/corr/abs-cs-0607141 %A Crary, Karl %A Harper, Robert %D 2006 %J CoRR %K dblp %T Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight %U http://dblp.uni-trier.de/db/journals/corr/corr0607.html#abs-cs-0607141 %V abs/cs/0607141

@article{journals/corr/abs-cs-0607141, added-at = {2018-08-13T00:00:00.000+0200}, author = {Crary, Karl and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2390652ee9f5b5a62e2126e05d6a9f884/dblp}, ee = {http://arxiv.org/abs/cs/0607141}, interhash = {a9bea0d921cc849dca305fccb738d550}, intrahash = {390652ee9f5b5a62e2126e05d6a9f884}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T15:19:22.000+0200}, title = {Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0607.html#abs-cs-0607141}, volume = {abs/cs/0607141}, year = 2006 }