Publication:3997112
From MaRDI portal
zbMath0714.18001MaRDI QIDQ3997112
No author found.
Publication date: 17 September 1992
68Qxx: Theory of computing
18-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory
Related Items
A categorical approach to database semantics, Unnamed Item, Unnamed Item, Unnamed Item, A fibration of categories overH B, Equivalences between logics and their representing type theories, Generic functional programming with types and relations, Sound and complete axiomatisations of call-by-value control operators, Datatype laws without signatures, A category theory approach to conceptual data modeling, GAME FORMATS AS CHU SPACES, Object oriented institutions to specify symbolic computation systems, Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence, Node rewriting in graphs and hypergraphs: A categorical framework, Locating the contractum in the double pushout approach, A sheaf-theoretic approach to pattern matching and related problems, Comparing Hagino's categorical programming language and typed lambda- calculi, A coalgebraic view on positive modal logic, Algebras, polynomials and programs, Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems, Categorical abstract algebraic logic: models of \(\pi\)-institutions, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, Discrete Lawvere theories and computational effects, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, Temporal theories as modularisation units for concurrent system specification, Map theory, Some economic applications of Scott domains, An algebraic semantics for structured transition systems and its application to logic programs, Calculate categorically!, Algebraically compact functors, Sketches and parametrization, An internal language for autonomous categories, 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, Partial map classifiers and partial cartesian closed categories, CGOOD, a categorical graph-oriented object data model, Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\), Models of approximation in databases, Institutions for logic programming, 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, Covers for monoids., Object-oriented hybrid systems of coalgebras plus monoid actions, Category theory and the foundations of mathematics: philosophical excavations., Detecting equivalence of modular specifications with categorical diagrams, On homotopy regular monomorphisms, Lifting results for categories of algebras, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms, Relating categorical semantics for intuitionistic linear logic, A combinatorial method to introduce Möbius inversion formula and Möbius function, Dynamic bracketing and discourse representation, On some graph problem in the theory of partial algebras. I., A hidden Herbrand theorem: Combining the object and logic paradigms, Logical quantizations of first-order structures, On fixpoint objects and gluing constructions, Weak fibrations, Terminal coalgebras in well-founded set theory, Powersets of terms and composite monads, Combining effects: sum and tensor, Categorical abstract algebraic logic: Partially ordered algebraic systems, A general framework for types in graph rewriting, Unnamed Item, Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity, Fibring: completeness preservation, A CORRESPONDENCE BETWEEN BALANCED VARIETIES AND INVERSE MONOIDS, Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors, Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems, Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness, Pre-adjunctions in order enriched categories, A formalism for the specification of essentially-algebraic structures in 2-categories, Sheaf semantics for concurrent interacting objects, Unnamed Item, Some pairs of adjoint functors involving track homotopy categories, Unnamed Item
