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, }