scientific article; zbMATH DE number 193170
algebraic theoriesalgorithmscategory- theoretic constructionsdata typesformal systemsfunctional programming languageStandard MLunification of terms
Research exposition (monographs, survey articles) pertaining to category theory (18-02) Software, source code, etc. for problems pertaining to category theory (18-04) Functor categories, comma categories (18A25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) General theory of categories and functors (18Axx) Topoi (18B25) Abstract data types; algebraic specification (68Q65)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Uniformly constructive monads
- Categories with finite limits and stable binary coproducts can be subdirectly decomposed
- A database of categories.
- Composition-nominative logics as institutions
- Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
- Monads for the formalization of a pattern matching procedure
- Cosheaf representations of relations and Dowker complexes
- A name abstraction functor for named sets
- Category theory for computing science
- Graph Transformation by Computational Category Theory
- Petri nets based on Lawvere theories
- Naturality of the conditional and the recursion∗
- scientific article; zbMATH DE number 4002343 (Why is no real title available?)
- scientific article; zbMATH DE number 4068864 (Why is no real title available?)
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- scientific article; zbMATH DE number 30668 (Why is no real title available?)
- Categories and Computer Science
- scientific article; zbMATH DE number 139765 (Why is no real title available?)
- Categories for Types
- scientific article; zbMATH DE number 1022228 (Why is no real title available?)
- A categorical manifesto
- scientific article; zbMATH DE number 3999258 (Why is no real title available?)
- scientific article; zbMATH DE number 3999263 (Why is no real title available?)
- scientific article; zbMATH DE number 803303 (Why is no real title available?)
- Kolmogorov complexity of categories
- scientific article; zbMATH DE number 7453982 (Why is no real title available?)
- Methods of constructive category theory
- A simple abstract semantics for equational theories
- Declarative continuations: an investigation of duality in programming language semantics
- Graph-grammar semantics of a higher-order programming language for distributed systems
- Applied Category Theory in Chemistry, Computing, and Social Networks
- Structured cospans
- Open Petri nets
- A proposed categorical semantics for pure ML
- Relationships between category theory and functional programming with an application
- Computer Aided Systems Theory – EUROCAST 2005
- Category Theory
- Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials
- Local causation
- Categorical properties of M-indiscernibility spaces
- A mechanically assisted constructive proof in category theory
- GATlab: modeling and programming with generalized algebraic theories
- Categorial modal realism
- Categorical ML -- category-theoretic modular programming
- A sheaf-theoretic approach to pattern matching and related problems
- Rod Burstall: in memoriam (1934--2025)
- Analysis of research into the mathematical foundations of model-based systems engineering
- A characterization of categorical many-valued partial orderings by categorical topologies and an application to comma categories
- Dagger categories and the complex numbers: axioms for the category of finite-dimensional Hilbert spaces and linear contractions
- Termination of graph transformation systems using weighted subgraph counting
- Structural induction in institutions
- Semantics of pattern unification
- Taylor morphisms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040030)
