scientific article
From MaRDI portal
Publication:3815296
zbMath0664.03041MaRDI QIDQ3815296
John G. Stell, David E. Rydeheard
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Context rewriting, Conditional rewriting logic: Deduction, models and concurrency, Unique-sort order-sorted theories : A description as monad morphisms, Categorical shape theory as a formal language for pattern recognition?, A semantics for type checking, An abstract formulation for rewrite systems, CPO models for infinite term rewriting, Finite limits and anti-unification in substitution categories, Relative full completeness for bicategorical Cartesian closed structure, An algebraic approach to stable domains, Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus, Conditional rewriting logic as a unified model of concurrency, Using categorical methods in computer science, Rewriting on cyclic structures: Equivalence between the operational and the categorical description, Unnamed Item, Unnamed Item, Unnamed Item, Computing over K-modules, Constructing inverse semigroups from category actions, A categorical critical-pair completion algorithm
Uses Software
