scientific article
From MaRDI portal
Publication:3997112
zbMath0714.18001MaRDI QIDQ3997112
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of computing (68Qxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (only showing first 100 items - show all)
Towards Multiple Model Synchronization with Comprehensive Systems ⋮ Indexed and fibered structures for partial and total correctness assertions ⋮ GAME FORMATS AS CHU SPACES ⋮ Functional sorts in data type specifications ⋮ Pre-adjunctions in order enriched categories ⋮ A formalism for the specification of essentially-algebraic structures in 2-categories ⋮ A categorical approach to database semantics ⋮ Sheaf semantics for concurrent interacting objects ⋮ CPO models for infinite term rewriting ⋮ Algebraic methods in the compositional analysis of logic programs ⋮ Abstract categorical logic ⋮ On the category of \(L\)-fuzzy automata, coalgebras and dialgebras ⋮ HSP type theorems in the category of posets ⋮ Structured handling of scoped effects ⋮ Equivalences between logics and their representing type theories ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Sets with structure, mappings and fixed point property: fixed point structures ⋮ Interleaving data and effects ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Unnamed Item ⋮ Reversible monadic computing ⋮ Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness ⋮ Generic functional programming with types and relations ⋮ Sound and complete axiomatisations of call-by-value control operators ⋮ Datatype laws without signatures ⋮ \(E^*\)-dense \(E\)-semigroups. ⋮ Unnamed Item ⋮ A category theory approach to conceptual data modeling ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An Algebraic Foundation for Graph-based Diagrams in Computing ⋮ A fibration of categories overH B ⋮ Partial Recursive Functions and Finality ⋮ A graphical approach to monad compositions ⋮ The algebra of multirelations ⋮ Diagrammatic logic applied to a parameterisation process ⋮ System Consequence ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Node rewriting in graphs and hypergraphs: A categorical framework ⋮ Formal composition of hybrid systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Gabriel–Ulmer duality and Lawvere theories enriched over a general base ⋮ Relationships between category theory and functional programming with an application ⋮ Unnamed Item ⋮ Some pairs of adjoint functors involving track homotopy categories ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning ⋮ Unnamed Item ⋮ A CORRESPONDENCE BETWEEN BALANCED VARIETIES AND INVERSE MONOIDS ⋮ Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors ⋮ Abstract cofibered domains: Application to the alias analysis of untyped programs ⋮ A connection between concurrency and language theory ⋮ Geiringer theorems: from population genetics to computational intelligence, memory evolutive systems and Hebbian learning ⋮ Regular relations and bicartesian squares ⋮ A recursion theorem for predicate transformers on inductive data types ⋮ Term graph rewriting and garbage collection using opfibrations ⋮ Facets of descent. I ⋮ Coalgebraic Components in a Many-Sorted Microcosm ⋮ Weak fibrations ⋮ Terminal coalgebras in well-founded set theory ⋮ Unnamed Item ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Partial map classifiers and partial cartesian closed categories ⋮ CGOOD, a categorical graph-oriented object data model ⋮ A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\) ⋮ Discrete Lawvere theories and computational effects ⋮ Sierpinski object for affine systems ⋮ Logical quantizations of first-order structures ⋮ Some properties of coalgebras and their rôle in computer science ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ A Heyting algebra on Dyck paths of type \(A\) and \(B\) ⋮ On fixpoint objects and gluing constructions ⋮ A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures ⋮ Models of approximation in databases ⋮ Institutions for logic programming ⋮ Lenses, fibrations and universal translations ⋮ Fixed point structures on a set-mapping pair and Cartesian product ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ A domain-theoretic semantics of lax generic functions. ⋮ A new framework for declarative programming ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ Product of Chu spaces in the category of \(Chu(S-Act)\) ⋮ A categorical model of predicate linear logic ⋮ Categorical properties of \(M\)-indiscernibility spaces ⋮ Covers for monoids. ⋮ Indexed and fibred structures for Hoare logic ⋮ On a category of fuzzy automata with relations ⋮ Minimal realization for fuzzy behaviour: A bicategory-theoretic approach ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Powersets of terms and composite monads ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Fibring: completeness preservation ⋮ Locating the contractum in the double pushout approach
This page was built for publication:
