Arithmetical datatypes with true fractions
| Authors | |
|---|---|
| Publication date | 10-2020 |
| Journal | Acta Informatica |
| Volume | Issue number | 57 | 3-5 |
| Pages (from-to) | 385-402 |
| Number of pages | 18 |
| Organisations |
|
| 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 notion of “true fraction”. |
| Document type | Article |
| Note | In special issue: Rob van Glabbeek - Festschrift. |
| Language | English |
| Published at |
https://doi.org/10.1007/s00236-019-00352-8
(Final published version)
|
| Other links | |
| Downloads |
Bergstra-Ponse2020_Article_ArithmeticalDatatypesWithTrueF
(Final published version)
|
| Permalink to this page | |
