Algebraic semantics of rewriting terms and types

DOI10.1007/3-540-56393-8_1OpenAlexW1486381108MaRDI QIDQ5881172

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) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items

Dynamically-typed computations for order-sorted equational presentations

Cites Work

• Universal algebra in higher types
• On specifications, theories, and models with higher types
• Unnamed Item
• Unnamed Item
• Unnamed Item