No Cover Image

Journal article 642 views 52 downloads

Which Arithmetical Data Types Admit Fracterm Flattening?

Jan A. Bergstra Orcid Logo, John Tucker Orcid Logo

Scientific Annals of Computer Science, Volume: XXXII, Issue: 1, Pages: 87 - 107

Swansea University Author: John Tucker Orcid Logo

  • 60614.pdf

    PDF | Version of Record

    This work is licensed under the Creative Commons Attribution-NoDerivatives 4.0 International License

    Download (309.8KB)

Check full text

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
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