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 (20)
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
This page was built for publication:
