%0 Journal Article %1 journals/logcom/Kfoury00 %A Kfoury, A. J. %D 2000 %J J. Log. Comput. %K dblp %N 3 %P 411-436 %T A linearization of the Lambda-calculus and consequences. %U http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#Kfoury00 %V 10

@article{journals/logcom/Kfoury00, added-at = {2011-06-29T00:00:00.000+0200}, author = {Kfoury, A. J.}, biburl = {https://www.bibsonomy.org/bibtex/2fb8cc45e705d074d9e5b678cb003d8e5/dblp}, ee = {http://dx.doi.org/10.1093/logcom/10.3.411}, interhash = {f367710455c7e0c74e7e913a0a841ad4}, intrahash = {fb8cc45e705d074d9e5b678cb003d8e5}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {411-436}, timestamp = {2011-06-30T11:39:13.000+0200}, title = {A linearization of the Lambda-calculus and consequences.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#Kfoury00}, volume = 10, year = 2000 }