scientific article; zbMATH DE number 3837407
From MaRDI portal
Publication:3042444
abstractionextension to the Edinburgh LCF interactive theorem-proving systemparameterised theoriesprimitive theoryrenamingstructured theoriestheory constructiontheory-building operations
Cited in
(15)- Structured algebraic specifications: A kernel language
- On observational equivalence and algebraic specification
- Specifications in an arbitrary institution
- Temporal theories as modularisation units for concurrent system specification
- Structured theory presentations and logic representations
- Essential concepts of algebraic specification and program development
- Proof systems for structured specifications with observability operators
- Logical systems for structured specifications.
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- A higher-order calculus and theory abstraction
- Proof systems for structured algebraic specifications: An overview
- Logic representation in LF
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- Rod Burstall: in memoriam (1934--2025)
- A set-theoretic semantics for Clear
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3042444)
