Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Arithmetical Data Types, Arithmetic by Proxy and the Rational Numbers

20230 citationsPreprintgreen Open Access

Authors

J.A. Bergstra · Qatar Mining (Qatar)

John V. Tucker · Swansea University

Topics & Keywords

History and Theory of Mathematics

Publication Details

Published in: SSRN Electronic Journal

DOI: 10.2139/ssrn.4422356

Arithmetical Data Types, Arithmetic by Proxy and the Rational Numbers | Researchclopedia