Generalization of final algebra semantics by relativization
From MaRDI portal
Publication:5887520
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)
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
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