Voir la notice de l'article provenant de la source Numdam
@article{DIA_1989__22__5_0, author = {DIA}, title = {Journ\'ees {E.L.I.T.} {(Esquisses,} {Logique} et {Informatique} {Th\'eorique)}}, journal = {Diagrammes}, pages = {5--6}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {22}, year = {1989}, language = {fr}, url = {http://geodesic.mathdoc.fr/item/DIA_1989__22__5_0/} }
TY - JOUR AU - DIA TI - Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique) JO - Diagrammes PY - 1989 SP - 5 EP - 6 VL - 22 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://geodesic.mathdoc.fr/item/DIA_1989__22__5_0/ LA - fr ID - DIA_1989__22__5_0 ER -
DIA. Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique). Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 5-6. http://geodesic.mathdoc.fr/item/DIA_1989__22__5_0/