Construction of an homology and a cohomology theory associated to a first order formula
Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 7-13. 
@article{DIA_1990__23__7_0,
     author = {Guitart, Ren\'e},
     title = {Construction of an homology and a cohomology theory associated to a first order formula},
     journal = {Diagrammes},
     pages = {7--13},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {23},
     year = {1990},
     mrnumber = {1082995},
     zbl = {0715.18004},
     language = {en},
     url = {http://archive.numdam.org/item/DIA_1990__23__7_0/}
}
TY  - JOUR
AU  - Guitart, René
TI  - Construction of an homology and a cohomology theory associated to a first order formula
JO  - Diagrammes
PY  - 1990
SP  - 7
EP  - 13
VL  - 23
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://archive.numdam.org/item/DIA_1990__23__7_0/
LA  - en
ID  - DIA_1990__23__7_0
ER  - 
%0 Journal Article
%A Guitart, René
%T Construction of an homology and a cohomology theory associated to a first order formula
%J Diagrammes
%D 1990
%P 7-13
%V 23
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://archive.numdam.org/item/DIA_1990__23__7_0/
%G en
%F DIA_1990__23__7_0
Guitart, René. Construction of an homology and a cohomology theory associated to a first order formula. Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 7-13. http://archive.numdam.org/item/DIA_1990__23__7_0/

[1] M. André, Méthode simpliciale en algèbre homologique et algèbre commutative, S.L.N. 32, 1967. | MR | Zbl

[2] M. Evrard, Homotopie d'un espace topologique relativement à un recouvrement. Applications à l'homotopie des préschémas, Thèse d'Etat, Université Paris 7, 1973.

[3] M. Evrard, Fibrations de petites catégories, Bull. Soc. Math. France 103, p.241-265, 1975. | Numdam | MR | Zbl

[4] D. Quillen, Higher algebraic K-theory, I, S.L.N. 341, p. 85-147, 1973. | MR | Zbl

[5] R. Guitart et C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes, vol. 4, 106 p., 1980. | Numdam | MR | Zbl

[6] R. Guitart et C. Lair, Limites et co-limites pour représenter les formules, Diagrammes, vol. 7, 24 p., 1982. | Numdam | MR | Zbl

[7] R. Guitart, On the geometry of computations, I and II, Cahiers Top. Géo. Diff. Cat., vol. XXVII-4 ( 1986), p. 107-136, et vol. XXIX-4 ( 1988), p. 297-326. | Numdam | MR | Zbl

[8] R. Guitart, L'unité de la théorie des modèles et de l'algèbre homologique (conf. at the Summer meeting on Category Theory, Louvain-la-Neuve, July 26 -Aug 1, 1987), in Cahiers Top. Géo. Diff. Cat. XXX-3 ( 1989). | Numdam | Zbl