scientific article; zbMATH DE number 3995937
zbMATH Open0615.18001MaRDI QIDQ4723927FDOQ4723927
Authors: René Guitart
Publication date: 1986
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1986__27_4_107_0
Title of this publication is not available (Why is that?)
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
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formulas and ultraproducts in categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Une construction universelle des spectres topologies spectrales et faisceaux structuraux
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (14)
- A generalization of the concept of sketch
- Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model
- Inductive and nearly inductive sketches
- Title not available (Why is that?)
- The Geometry of Computation-Graph Abstraction
- Computability Theory and Differential Geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A ``geometric view of the dynamics of trajectories of computer programs
- On the computational complexities of various geography variants
- Geometric Computations on Indecisive Points
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)