scientific article; zbMATH DE number 3995937
From MaRDI portal
algorithmsalgebraic theoriesprogram schemeslocally free diagramsesquisses mixteshomotopy type of theoriesmixed sketches
Formal languages and automata (68Q45) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of machines, automata (18B20) Graphs, diagram schemes, precategories (18A10)
Recommendations
- scientific article; zbMATH DE number 4093718
- An algebraic approach to schemes of structured programs
- Sketches and computation – I: basic definitions and static evaluation
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- scientific article; zbMATH DE number 3936467
Cites work
- scientific article; zbMATH DE number 3849206 (Why is no real title available?)
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3873562 (Why is no real title available?)
- scientific article; zbMATH DE number 3811816 (Why is no real title available?)
- scientific article; zbMATH DE number 3819974 (Why is no real title available?)
- scientific article; zbMATH DE number 3819976 (Why is no real title available?)
- scientific article; zbMATH DE number 3826063 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3955174 (Why is no real title available?)
- scientific article; zbMATH DE number 3656176 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 4000184 (Why is no real title available?)
- scientific article; zbMATH DE number 3801500 (Why is no real title available?)
- scientific article; zbMATH DE number 3801532 (Why is no real title available?)
- scientific article; zbMATH DE number 3311793 (Why is no real title available?)
- Formulas and ultraproducts in categories
- Une construction universelle des spectres topologies spectrales et faisceaux structuraux
Cited in
(14)- The Geometry of Computation-Graph Abstraction
- A generalization of the concept of sketch
- scientific article; zbMATH DE number 7376056 (Why is no real title available?)
- scientific article; zbMATH DE number 16658 (Why is no real title available?)
- scientific article; zbMATH DE number 4093718 (Why is no real title available?)
- Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model
- Computability Theory and Differential Geometry
- scientific article; zbMATH DE number 1022261 (Why is no real title available?)
- Inductive and nearly inductive sketches
- On the computational complexities of various geography variants
- scientific article; zbMATH DE number 1487958 (Why is no real title available?)
- Geometric Computations on Indecisive Points
- scientific article; zbMATH DE number 4138016 (Why is no real title available?)
- A ``geometric view of the dynamics of trajectories of computer programs
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 Q4723927)
