Solving Reflexive Domain Equations in a Category of Complete Metric Spaces

Journal of Computer and System Sciences - United States
doi 10.1016/0022-0000(89)90027-5

Related search