Rudolf Berghammer, Burghard von Karger. Relational Semantics of Functional Programs. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 115-130, Springer, 1997. [doi]
@incollection{BerghammerK97-0,
title = {Relational Semantics of Functional Programs},
author = {Rudolf Berghammer and Burghard von Karger},
year = {1997},
doi = {10.1007/978-3-7091-6510-2_8},
url = {https://doi.org/10.1007/978-3-7091-6510-2_8},
researchr = {https://researchr.org/publication/BerghammerK97-0},
cites = {0},
citedby = {0},
pages = {115-130},
booktitle = {Relational Methods in Computer Science},
editor = {Chris Brink and Wolfram Kahl and Gunther Schmidt 0001},
series = {Advances in computing science},
publisher = {Springer},
isbn = {978-3-211-82971-4},
}