scientific article; zbMATH DE number 554481
From MaRDI portal
Publication:4288283
zbMath0798.03055MaRDI QIDQ4288283
Publication date: 3 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationset-theoretic specificationleft adjointsfragment of set theorymodel-theoretic semantics of specification languagesrecursion over structures
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)
Related Items (2)
On Σ‐definability without equality over the real numbers ⋮ The meaning of specifications I: Domains and initial models
This page was built for publication:
