Categories and Computer Science
From MaRDI portal
Publication:4003856
DOI10.1017/CBO9780511608872zbMath0789.18001OpenAlexW4212824019MaRDI QIDQ4003856
Publication date: 23 January 1993
Full work available at URL: https://doi.org/10.1017/cbo9780511608872
automatacontext-free languagesimperative programsfunctor categoriesfunctional specificationfree objectsregular grammarsKnuth-Bendix proceduredistributive categoriesTodd-Coxeter procedure
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items
Feedback, trace and fixed-point semantics, Van Kampen Colimits as Bicolimits in Span, Towards Multiple Model Synchronization with Comprehensive Systems, Quantaloids, enriched categories and automata theory, Limits in free coproduct completions, The duality between flow charts and circuits, Some properties of coalgebras and their rôle in computer science, On the generic solution to \(P(X)\cong X\) in distributive categories, An imperative language based on distributive categories II, Connected limits, familial representability and Artin glueing, Computing left Kan extensions., A database of categories., A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators, Fibrations and universal view updatability, Defining effectiveness using finite sets. A study on computability, Some categoric connections between fuzzy hypergraphs, subhypergroups, graphs, subgroups and subsets, The origin of universality: making and invalidating a free category, The minimal mathematical structure for a synchronic approach to fuzzy set theory, DiffMan: An object-oriented MATLAB toolbox for solving differential equations on manifolds, Fractals as objects with nontrivial structures at all scales, An Algebra of Automata That Includes Both Classical and Quantum Entities, From environments to representations -- a mathematical theory of artificial perceptions, Relationships between category theory and functional programming with an application, The free category with products on a multigraph, Matrices, machines and behaviors, Unnamed Item, Code migration and program maintainability -- A categorical perspective
