Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}