Glynn Winskel, Kim Guldstrand Larsen. Using Information Systems to Solve Recursive Domain Equations Effectively. In Gilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Volume 173 of Lecture Notes in Computer Science, pages 109-129, Springer, 1984.
@inproceedings{WinskelL84,
title = {Using Information Systems to Solve Recursive Domain Equations Effectively},
author = {Glynn Winskel and Kim Guldstrand Larsen},
year = {1984},
researchr = {https://researchr.org/publication/WinskelL84},
cites = {0},
citedby = {0},
pages = {109-129},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings},
editor = {Gilles Kahn and David B. MacQueen and Gordon D. Plotkin},
volume = {173},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-13346-1},
}