%0 Journal Article %1 journals/corr/abs-1201-5240 %A Cheney, James %D 2012 %J Logical Methods in Computer Science %K dblp %N 1 %T A dependent nominal type theory %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1201-5240 %V 8

@article{journals/corr/abs-1201-5240, added-at = {2019-05-14T00:00:00.000+0200}, author = {Cheney, James}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26aca7cc7f3914a63e7ba80bb38fd1438/dblp}, ee = {http://arxiv.org/abs/1201.5240}, interhash = {667d028e758e92f7c33bf59d8b06cd4e}, intrahash = {6aca7cc7f3914a63e7ba80bb38fd1438}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-09-27T09:33:06.000+0200}, title = {A dependent nominal type theory}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1201-5240}, volume = 8, year = 2012 }