Relational Semantics of Functional Programs

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]

Authors

Rudolf Berghammer

This author has not been identified. Look up 'Rudolf Berghammer' in Google

Burghard von Karger

This author has not been identified. Look up 'Burghard von Karger' in Google