We present a type of arithmetic called Proportional Arithmetic. The main properties and objects that emerge with this way of operating quantities are exposed. Finally, the antiderivative and the indefinite integral are ...

The Theory of Specifications is an extension of the Calculus of Constructions where the specification of a problem, the derivation of a program, and its correctness proof, can all be done within the same formalism. An ...

The aim of this article is to provide a unified construction of coorbit spaces of symbols for the calculus associated to a square-integrable family of bounded Hilbert space operators, going far beyond the group theoretic ...