scientific article
From MaRDI portal
Publication:3759011
zbMath0622.18003MaRDI QIDQ3759011
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)
Related Items (4)
Parametrization for order-sorted algebraic specification ⋮ Classifying categories for partial equational logic ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax. ⋮ Functorial models for Petri nets
This page was built for publication:
