Journal article 540 views 44 downloads
Which Arithmetical Data Types Admit Fracterm Flattening?
Jan A. Bergstra 
,
John Tucker
,
John Tucker
Scientific Annals of Computer Science, Volume: XXXII, Issue: 1, Pages: 87 - 107
Swansea University Author:
John Tucker
-
PDF | Version of Record
This work is licensed under the Creative Commons Attribution-NoDerivatives 4.0 International License
Download (309.8KB)
DOI (Published version): 10.7561/sacs.2022.1.87
Abstract
Which Arithmetical Data Types Admit Fracterm Flattening?
| Published in: | Scientific Annals of Computer Science |
|---|---|
| ISSN: | 1843-8121 2248-2695 |
| Published: |
Scientific Annals of Computer Science
2022
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa60614 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Keywords: |
fracterm, fracterm flattening, common meadow, rational numbers, equational specification, initial algebra semantics |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
1 |
| Start Page: |
87 |
| End Page: |
107 |