Similar Items: Digital poverty: Revisiting definitions for effective policy-making
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- An Axiomatic Definition of Hierarchical Clustering
- Positive Inductive-Recursive Definitions
- Coaxioms: flexible coinductive definitions by inference systems
- Inductive Definition and Domain Theoretic Properties of Fully Abstract
- Bounded Linear Logic, Revisited