Login / Signup

Arithmetical datatypes with true fractions.

Jan A. BergstraAlban Ponse
Published in: Acta Informatica (2020)
Keyphrases