On the geometry of computations, II
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 29 (1988) no. 4, pp. 297-326.
partie précédente On the geometry of computations 
@article{CTGDC_1988__29_4_297_0,
     author = {Guitart, Ren\'e},
     title = {On the geometry of computations, {II}},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {297--326},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {29},
     number = {4},
     year = {1988},
     mrnumber = {991205},
     zbl = {0668.18009},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1988__29_4_297_0/}
}
TY  - JOUR
AU  - Guitart, René
TI  - On the geometry of computations, II
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1988
SP  - 297
EP  - 326
VL  - 29
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1988__29_4_297_0/
LA  - en
ID  - CTGDC_1988__29_4_297_0
ER  - 
%0 Journal Article
%A Guitart, René
%T On the geometry of computations, II
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1988
%P 297-326
%V 29
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1988__29_4_297_0/
%G en
%F CTGDC_1988__29_4_297_0
Guitart, René. On the geometry of computations, II. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 29 (1988) no. 4, pp. 297-326. http://www.numdam.org/item/CTGDC_1988__29_4_297_0/

1, H. Andreka & I. Nemeti, Formulas and ultraproducts in categories, Beit. zur Alg u Geom 8 (1979) | MR | Zbl

2, H. Crapo & J. Ryan, Spatial realizations of linear scenes, Topologie Structurale 13 (1986). | MR | Zbl

3, S., Fakir& L., Haddad, Objets cohérents et ultraproduits dans les catégories, J, of Algebra 21-3 (1972). | MR | Zbl

4, C. Ehresmann, Esquisses et types de structures algébriques, Bull. Inst. Polit. Iasi XIV (1968), reprinted in [5], | MR | Zbl

5, C. Ehresmann, Oeuvres complètes et commentées, Part IV (Ed, A, C, Ehresmann), Amiens 1982, | Zbl

6, L. Henkin, J.D. Monk, A. Tarski, H, Andreka & I. Nemeti, Cylindric set algebras, Lecture Notes in Math, 883, Springer (1981), | MR | Zbl

7, R. Guitart, On the geometry of computations, Cahiers Top. et Géom. Diff. XXVII-4 (1986), 107-136, | Numdam | MR | Zbl

8, R. Guitart, Remarques sur les machines et les structures, Cahiers Top. et Géom. Diff. XXV-2 (1974). | Numdam | MR | Zbl

9, R. Guitart & L. Van Den Bril, Decompositions et lax-complétions, Cahiers Top. et Géom. Diff. XVIII-4 (1977), 333-407, | Numdam | MR | Zbl

10, R. Guitart, Logiques, relations et structures dans les catégories, Thèse de Doctorat d'Etat, Université de Picardie, 1979,

11, R. Guitart, Introduction à l'Analyse algébrique, Math. Sc. Hum. 27° année, n° 96 (1986), 49-63, | Numdam | MR | Zbl

12, R. Guitart & C. Lair: a, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980), 106 p, | Numdam | MR | Zbl

b, Existence de diagrammes localement libres, Diagrammes 6 (1981), 13 p, | Numdam | MR | Zbl

c, Limites et colimites pour représenter les formules, Diagrammes 7 (1982), 24 p, | Numdam | Zbl

13, Makkai & G. Reyes, First order categorical logic, Lecture Notes in Math, 611, Springer (1977), | MR | Zbl

14, R., Pare, Absoluteness property in category theory, PhD Thesis, McGill University, 1969,