Arithmetical Datatypes, Fracterms, and The Fraction Definition Problem. (3rd November 2020) - Bergstra, Jan A.
No abstract available