@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://archive.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://archive.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://archive.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://archive.numdam.org/item/CTGDC_1988__29_4_297_0/
1, Formulas and ultraproducts in categories, Beit. zur Alg u Geom 8 (1979) | MR | Zbl
& ,2, Spatial realizations of linear scenes, Topologie Structurale 13 (1986). | MR | Zbl
& ,3, Objets cohérents et ultraproduits dans les catégories, J, of Algebra 21-3 (1972). | MR | Zbl
& ,4, Esquisses et types de structures algébriques, Bull. Inst. Polit. Iasi XIV (1968), reprinted in [5], | MR | Zbl
,5, Oeuvres complètes et commentées, Part IV (Ed, A, C, Ehresmann), Amiens 1982, | Zbl
,6, Cylindric set algebras, Lecture Notes in Math, 883, Springer (1981), | MR | Zbl
, , , & ,7, On the geometry of computations, Cahiers Top. et Géom. Diff. XXVII-4 (1986), 107-136, | Numdam | MR | Zbl
,8, Remarques sur les machines et les structures, Cahiers Top. et Géom. Diff. XXV-2 (1974). | Numdam | MR | Zbl
,9, Decompositions et lax-complétions, Cahiers Top. et Géom. Diff. XVIII-4 (1977), 333-407, | Numdam | MR | Zbl
& ,10, Logiques, relations et structures dans les catégories, Thèse de Doctorat d'Etat, Université de Picardie, 1979,
,11, Introduction à l'Analyse algébrique, Math. Sc. Hum. 27° année, n° 96 (1986), 49-63, | Numdam | MR | Zbl
,12, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980), 106 p, | Numdam | MR | Zbl
& : a,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, First order categorical logic, Lecture Notes in Math, 611, Springer (1977), | MR | Zbl
& ,14, Absoluteness property in category theory, PhD Thesis, McGill University, 1969,
,