%0 Journal Article %1 journals/ipl/Goldberg00 %A Goldberg, Mayer %D 2000 %J Inf. Process. Lett. %K dblp %N 1-2 %P 13-16 %T Gödelization in the lambda calculus. %U http://dblp.uni-trier.de/db/journals/ipl/ipl75.html#Goldberg00 %V 75

@article{journals/ipl/Goldberg00, added-at = {2003-11-20T00:00:00.000+0100}, author = {Goldberg, Mayer}, biburl = {https://www.bibsonomy.org/bibtex/20801645cd53fd8f8bca82b2ebec609ed/dblp}, date = {2003-11-20}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0020-0190(00)00071-5}, interhash = {a8dc35ca7910a9be14239185c6c46f5b}, intrahash = {0801645cd53fd8f8bca82b2ebec609ed}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = {1-2}, pages = {13-16}, timestamp = {2003-11-20T00:00:00.000+0100}, title = {Gödelization in the lambda calculus.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl75.html#Goldberg00}, volume = 75, year = 2000 }