Which Arithmetical Data Types Admit Fracterm Flattening?

Journal article 1171 views 260 downloads

Jan A. Bergstra

, 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

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

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