Werner Damm, Elfriede Fehr, Klaus Indermark. Higher Type Recursion and Self-Application as Control Structures. In Erich J. Neuhold, editor, Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977. pages 461-490, North-Holland, 1977.
@inproceedings{DammFI77,
title = {Higher Type Recursion and Self-Application as Control Structures},
author = {Werner Damm and Elfriede Fehr and Klaus Indermark},
year = {1977},
researchr = {https://researchr.org/publication/DammFI77},
cites = {0},
citedby = {0},
pages = {461-490},
booktitle = {Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977},
editor = {Erich J. Neuhold},
publisher = {North-Holland},
isbn = {0-444-85107-0},
}