Defining functions on equivalence classes
Defining functions on equivalence classes is a scholarly work by Lawrence Paulson, published in 2006 in ''ACM Transactions on Computational Logic''. The main subjects of the publication include quotient topological space, pure mathematics, Quotient algebra, weak equivalence, algebra over a field, stream processing, equivalence relation, distributed constrained optimisation problem, congruence relation, discrete mathematics, program analysis, spikelet, quotient, logical equivalence, equivalence class, type, and mathematics. A quotient construction defines an abstract type from a concrete type, using an equivalence relation to identify elements of the concrete type that are to be regarded as indistinguishable.