Numberic Interpretations
Number Interpretations: Concepts, Issues, and Designs
See numeric-specs for a
discussion of the numeric-specs and their interpretations.
The sources for the mediators and interpretations are:
-
Integer to Nat
-
Rationals
- Note that the rationals are constructed from the integers, but
that there is no abstract spec for the rationsla other than the mediator.
-
Reals
SpecWeb Index
Interpretations