Coalgebra semantics for hidden algebra: Parameterised objects and inheritance
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 6622714
- Algebraic-coalgebraic specification in CoCASL
- scientific article; zbMATH DE number 1231635
- scientific article; zbMATH DE number 1497873
- A coalgebraic semantics of subtyping
- Coalgebras in functional programming and type theory
- Algebraic-coalgebraic specification in CoCasl.
- Coalgebra and abstraction
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
- Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
Cited in
(12)- Universal coalgebra: A theory of systems
- On institutions for modular coalgebraic specifications.
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Observational logic, constructor-based logic, and their duality.
- Observational coalgebras and complete sets of co-operations
- Bisimulation and Hidden Algebra
- Co-universal algebraic extension with hidden parameters
- Semantic constructions for hidden algebra
- Object oriented institutions to specify symbolic computation systems
- Semantic constructions for the specification of objects
- Equational axiomatizability for coalgebra
- Complete sets of cooperations
This page was built for publication: Coalgebra semantics for hidden algebra: Parameterised objects and inheritance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3839054)
