Arithmetical datatypes with true fractions

Bergstra, JA; Ponse, A

Ponse, A (corresponding author), Univ Amsterdam, Informat Inst, Amsterdam, Netherlands.

ACTA INFORMATICA, 2020; 57 (3-5): 385

Abstract

We consider several novel congruences on the signature of meadows with the aim to survey different notions of fractions. In particular we suggest a no......

Full Text Link