Algebraic semantics of rewriting terms and types

DOI10.1007/3-540-56393-8_1MaRDI QIDQ5881172zbMATH OpenOpenAlexFDO

Authors Karl Meinke

Publication date 9 March 2023

Published in Conditional Term Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56393-8_1

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebraic semantics and complexity of term rewriting systems
• Semantics of a typed algebraic lambda-calculus
• scientific article; zbMATH DE number 4126684
• scientific article; zbMATH DE number 827981
• scientific article; zbMATH DE number 3870642
• scientific article; zbMATH DE number 3892570
• Reidemeister-Schreier type rewriting for semigroups
• Rewriting in the partial algebra of typed terms modulo AC
• A Rewriting Semantics for Type Inference
• Semantic typing for parametric algebraic specifications

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4078770 (Why is no real title available?)
• scientific article; zbMATH DE number 408803 (Why is no real title available?)
• On specifications, theories, and models with higher types
• Universal algebra in higher types

Cited in

(13)

• An algebraic semantics approach to the effective resolution of type equations
• A rewrite-based type discipline for a subset of computer algebra
• Rewriting in the partial algebra of typed terms modulo AC
• scientific article; zbMATH DE number 408803 (Why is no real title available?)
• scientific article; zbMATH DE number 4126684 (Why is no real title available?)
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• scientific article; zbMATH DE number 2080020 (Why is no real title available?)
• Dynamically-typed computations for order-sorted equational presentations
• scientific article; zbMATH DE number 2111734 (Why is no real title available?)
• scientific article; zbMATH DE number 827981 (Why is no real title available?)
• Term Rewriting and Applications
• Congruence types
• An initial algebra approach to term rewriting systems with variable binders

This page was built for publication: Algebraic semantics of rewriting terms and types

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