Generalization of final algebra semantics by relativization

DOI10.1007/BFb0040263MaRDI QIDQ5887520

Satish R. Thatte, Lawrence S. Moss

Publication date: 12 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Galois connectionabstract data typefinite theorylanguage modelground term

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Final universes of processes

Uses Software

• Miranda

Cites Work

• Unnamed Item
• Unnamed Item
• Full abstraction and limiting completeness in equational languages
• Final algebra semantics and data type extensions
• The algebraic specification of abstract data types
• Fully abstract models of typed \(\lambda\)-calculi
• Programming with Equations
• Final Data Types and Their Specification