A Framework for Order-Sorted Algebra

DOI10.1007/3-540-45719-4_27MaRDI QIDQ2996140zbMATH OpenOpenAlexFDO

Authors John G. Stell

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_27

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Partial algebras (08A55) Applications of universal algebra in computer science (08A70)

Recommendations

• Higher-order order-sorted algebras
• A computer algebra system based on order-sorted algebra
• scientific article; zbMATH DE number 3866562
• scientific article; zbMATH DE number 3949706
• scientific article; zbMATH DE number 108280
• scientific article; zbMATH DE number 3557832
• An algebraic theory of order
• Order algebras
• Order-sorted algebraic specifications with higher-order functions

Cited in

(11)

• scientific article; zbMATH DE number 3918620 (Why is no real title available?)
• scientific article; zbMATH DE number 3949706 (Why is no real title available?)
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• scientific article; zbMATH DE number 3887106 (Why is no real title available?)
• Homomorphism preserving algebraic specifications require hidden sorts
• A computer algebra system based on order-sorted algebra
• Unique-sort order-sorted theories : A description as monad morphisms
• Recent Trends in Algebraic Development Techniques
• scientific article; zbMATH DE number 6536488 (Why is no real title available?)
• scientific article; zbMATH DE number 736946 (Why is no real title available?)
• scientific article; zbMATH DE number 2085285 (Why is no real title available?)

This page was built for publication: A Framework for Order-Sorted Algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996140)