A is a generalization of metric spaces and posets, which uses the concept of quantales, and that can be used to unify the notions of metric spaces and domains.
A is a generalization of metric spaces and posets which uses the concept of quantales, and that can be used to unify the notions of metric spaces and domains.