Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics
Authors:
Serge Yoccoz
Affiliations:
-
Venue:
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Year:
1990
Citing
0
Cited
1
Recursively defined metric spaces without contraction
Theoretical Computer Science
Quantified Score
Hi-index
0.00
Visualization
Abstract