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