Unique-sort order-sorted theories : A description as monad morphisms

DOI10.1007/3-540-54317-1_107OpenAlexW1486396796MaRDI QIDQ5881299

John G. Stell

Publication date: 9 March 2023

Published in: Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54317-1_107

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) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Cites Work

• Order-sorted unification
• Parametrization for order-sorted algebraic specification
• Computational aspects of an order-sorted logic with term declarations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Unique-sort order-sorted theories : A description as monad morphisms