Publication:4725721
From MaRDI portal
zbMath0616.68016MaRDI QIDQ4725721
David E. Rydeheard, Rod M. Burstall
Publication date: 1986
program design; category theory; abstraction; recursive procedures; colimit; constructivity; symbolic expressions
68W30: Symbolic computation and algebraic computation
68Q60: Specification and verification (program logics, model checking, etc.)
18B99: Special categories
68N01: General topics in the theory of software
Related Items
Unification in commutative theories, Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming, Contraction algebras and unification of (infinite) terms, An algebraic semantics for structured transition systems and its application to logic programs, A new framework for declarative programming, Set functors, \(L\)-fuzzy set categories, and generalized terms., Similarities between powersets of terms, Powersets of terms and composite monads, Determinisation of Relational Substitutions in Ordered Categories with Domain, Partially Ordered Monads and Rough Sets, Categorical Innovations for Rough Sets, Unnamed Item