Categories and Computer Science
From MaRDI portal
automatacontext-free languagesdistributive categoriesfree objectsfunctional specificationfunctor categoriesimperative programsKnuth-Bendix procedureregular grammarsTodd-Coxeter procedure
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
Cited in
(30)- From environments to representations -- a mathematical theory of artificial perceptions
- On the generic solution to \(P(X)\cong X\) in distributive categories
- Computing left Kan extensions.
- A database of categories.
- Code migration and program maintainability -- A categorical perspective
- The minimal mathematical structure for a synchronic approach to fuzzy set theory
- The free category with products on a multigraph
- Quantaloids, enriched categories and automata theory
- Limits in free coproduct completions
- Fibrations and universal view updatability
- Matrices, machines and behaviors
- Some properties of coalgebras and their rôle in computer science
- Some categoric connections between fuzzy hypergraphs, subhypergroups, graphs, subgroups and subsets
- An algebra of automata that includes both classical and quantum entities
- Van Kampen colimits as bicolimits in Span
- The duality between flow charts and circuits
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators
- An imperative language based on distributive categories II
- scientific article; zbMATH DE number 1036407 (Why is no real title available?)
- scientific article; zbMATH DE number 3999258 (Why is no real title available?)
- Feedback, trace and fixed-point semantics
- scientific article; zbMATH DE number 803303 (Why is no real title available?)
- Connected limits, familial representability and Artin glueing
- Towards multiple model synchronization with comprehensive systems
- Relationships between category theory and functional programming with an application
- Defining effectiveness using finite sets. A study on computability
- The origin of universality: making and invalidating a free category
- DiffMan: An object-oriented MATLAB toolbox for solving differential equations on manifolds
- Data assimilation with an integral-form ensemble square-root filter
- Fractals as objects with nontrivial structures at all scales
This page was built for publication: Categories and Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4003856)
