%0 Journal Article %1 journals/corr/abs-cs-0511025 %A Cheney, James %D 2005 %J CoRR %K dblp %T Logic Column 14: Nominal Logic and Abstract Syntax %U http://dblp.uni-trier.de/db/journals/corr/corr0511.html#abs-cs-0511025 %V abs/cs/0511025

@article{journals/corr/abs-cs-0511025, added-at = {2018-08-13T00:00:00.000+0200}, author = {Cheney, James}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2381421a7990a60143391e4c63dd07ff9/dblp}, ee = {http://arxiv.org/abs/cs/0511025}, interhash = {3afc7f0084a5aea6e3b81c4725821334}, intrahash = {381421a7990a60143391e4c63dd07ff9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:58:00.000+0200}, title = {Logic Column 14: Nominal Logic and Abstract Syntax}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0511.html#abs-cs-0511025}, volume = {abs/cs/0511025}, year = 2005 }