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
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, Temporal theories as modularisation units for concurrent system specification, Map theory, Some economic applications of Scott domains, Stairway to heaven: the abstract method and levels of abstraction in mathematics, A sheaf-theoretic approach to pattern matching and related problems, Comparing Hagino's categorical programming language and typed lambda- calculi, An algebraic semantics for structured transition systems and its application to logic programs, Calculate categorically!, The rôle of categorical structures in infinitesimal calculus, Semantic information and the correctness theory of truth, Algebraically compact functors, A coalgebraic view on positive modal logic, The categorical equivalence between algebraic domains and F-augmented closure spaces., Alternating states for dual nondeterminism in imperative programming, Functorial data migration, A formal abstract framework for modelling and testing complex software systems, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms, Combining effects: sum and tensor, Relating categorical semantics for intuitionistic linear logic, Categorical abstract algebraic logic: Partially ordered algebraic systems, Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\), A formalisation of deep metamodelling, A combinatorial method to introduce Möbius inversion formula and Möbius function, Problems of constructing intelligent systems. Intelligent modeling, A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis, Dynamic bracketing and discourse representation, Comprehensive systems: a formal foundation for multi-model consistency management, On some graph problem in the theory of partial algebras. I., On the algebraic structure of declarative programming languages, Equational theories for automata, A Category-Theoretic Approach to Social Network Analysis, Object-oriented hybrid systems of coalgebras plus monoid actions, Category theory and the foundations of mathematics: philosophical excavations., MiniBrass: soft constraints for MiniZinc, Detecting equivalence of modular specifications with categorical diagrams, Polygraphs of finite derivation type, On homotopy regular monomorphisms, A general framework for types in graph rewriting, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Fast left Kan extensions using the chase, Modalities for an allegorical conceptual data model, Weak \(n\)-ary relational products in allegories, A hidden Herbrand theorem: Combining the object and logic paradigms, Algebras, polynomials and programs, Sketches and parametrization, Fibred amalgamation, descent data, and Van Kampen squares in topoi, Lifting results for categories of algebras, An internal language for autonomous categories, Homology of systemic modules, Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions, Nets with mana: a framework for chemical reaction modelling, Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems, Categorical abstract algebraic logic: models of \(\pi\)-institutions