scientific article; zbMATH DE number 3574082

zbMath0368.18006MaRDI QIDQ4145866

José Meseguer

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Partial orders, general (06A06) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Algebraic structures (08Axx)

Related Items (9)

On the algebra of order ⋮ Varieties of chain-complete algebras ⋮ Tree constructions of free continuous algebras ⋮ Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Order completion monads ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories ⋮ Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories ⋮ An effectively given initial semigroup

This page was built for publication: