Klaus J. Berkling, Elfriede Fehr
A Modification of the λ-Calculus as a Base for Functional Programming Languages
ICALP, 1982.
@inproceedings{ICALP-1982-BerklingF,
author = "Klaus J. Berkling and Elfriede Fehr",
booktitle = "{Proceedings of the Ninth Colloquium on Automata, Languages and Programming}",
doi = "10.1007/BFb0012755",
isbn = "3-540-11576-5",
pages = "35--47",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Modification of the λ-Calculus as a Base for Functional Programming Languages}",
volume = 140,
year = 1982,
}











