Geodesic
Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda
Diagrammes, Actes Volume 3. Journées d'études esquisses, logique et informatique théorique, Tome 24 (1990), p. 77.

Voir la notice de l'article provenant de la source Numdam

corrige Sémantique catégorique des constructeurs de types d'ordre supérieur
corrige Les catégories localement (multi)présentables comme domaines de Scott
corrige Une généralisation des ensembles énumérés 
@article{DIA_1990__24__77_0,
     author = {Ageron, Pierre},
     title = {Actes des journ\'ees {E.L.I.T.} {(Univ.} {Paris} 7. 27 juin-2 juillet 1988 ). {Corrigenda}},
     journal = {Diagrammes},
     pages = {77--77},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {24},
     year = {1990},
     mrnumber = {1021087},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/DIA_1990__24__77_0/}
}
TY  - JOUR
AU  - Ageron, Pierre
TI  - Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda
JO  - Diagrammes
PY  - 1990
SP  - 77
EP  - 77
VL  - 24
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1990__24__77_0/
LA  - fr
ID  - DIA_1990__24__77_0
ER  - 
%0 Journal Article
%A Ageron, Pierre
%T Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda
%J Diagrammes
%D 1990
%P 77-77
%V 24
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1990__24__77_0/
%G fr
%F DIA_1990__24__77_0
Ageron, Pierre. Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda. Diagrammes, Actes Volume 3. Journées d'études esquisses, logique et informatique théorique, Tome 24 (1990), p. 77. http://geodesic.mathdoc.fr/item/DIA_1990__24__77_0/