Using Information Systems to Solve Recursive Domain Equations Effectively - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Using Information Systems to Solve Recursive Domain EquationsKim Guldstrand Larsen, Glynn Winskel. iandc, 91(2):232-258, April 1991.

runs on WebDSL