Journal article 642 views 52 downloads
Which Arithmetical Data Types Admit Fracterm Flattening?
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 |