scientific article; zbMATH DE number 554481

MaRDI QIDQ4288283zbMATH OpenFDO

Authors Wilfrid Hodges

Publication date 3 November 1994

zbMATH Keywords

algebraic specificationleft adjointsfragment of set theorymodel-theoretic semantics of specification languagesrecursion over structuresset-theoretic specification

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Other notions of set-theoretic definability (03E47)

Recommendations

• The meaning of specifications I: Domains and initial models
• Algebraic specifications, higher-order types and set-theoretic models
• A set-theoretic semantics for Clear
• scientific article; zbMATH DE number 3956413
• Sets, types and type-checking

Cited in

(13)

• scientific article; zbMATH DE number 1617302 (Why is no real title available?)
• Modal logic and algebraic specifications
• scientific article; zbMATH DE number 4043228 (Why is no real title available?)
• scientific article; zbMATH DE number 3956413 (Why is no real title available?)
• UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY
• The Foundations of Specification
• Functorial semantics of first-order views
• scientific article; zbMATH DE number 3883588 (Why is no real title available?)
• A set-theoretic semantics for Clear
• Standard model semantics for DSL. A data type specification language
• On Σ‐definability without equality over the real numbers
• scientific article; zbMATH DE number 1617307 (Why is no real title available?)
• The meaning of specifications I: Domains and initial models

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 Q4288283)