D IAGRAMMES

DIA
Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
Diagrammes, tome 24 (1990), p. 5
<http://www.numdam.org/item?id=DIA_1990__24__5_0>

© Université Paris 7, UER math., 1990, tous droits réservés.
L’accès aux archives de la revue « Diagrammes » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.

Article numérisé dans le cadre du programme
Numérisation de documents anciens mathématiques
http://www.numdam.org/

VOLUME

OIAQRAflMES

ACTES
(UMIV.

(Esquisses,

PARIS

M 8
7.

JOURNEES
27

JUIN-2

21

E . L. . I . T .
JUILLET

1968)

JOURNEES

E . I_ . I . T .

Logique e t

Informatique

Théorique)

Volume 3
Les deux premiers volumes des actes des Journées E.L.I.T. sont
parus en Décembre 1989 et Juillet 1990, sous forme des volumes
N#22 et N*23 de 0IA6RAMMES. Le troisième et dernier volume paraît
maintenant, sous la forme du N*24 de DIAGRAMMES (Décembre 1990),
avec un retard important, dont nous nous excusons auprès de nos
lecteurs,
La présentation des textes suit toujours l'ordre chronologique
des dates de réception.

L.Coppey, C.Lair, M.Mathieu,

organisateurs des journées

Liste des conférenciers des Journées E.L.I.T. 88.
P.AGERON (Paris,France)1 •»
G.BERNOT (Paris,France)'
L.COPPEY (Paris,France)3
P.-L.CURIEN (Paris,France)2
P.J.FREYD (Philadelphie,U.S.A.)
J.-Y.GIRARD (Paris.France)
R.GUITART (Paris.France)2
E.KOUDSI (Valenciennes,France)2
Y.LAFONT (Paris.France)1
J.LAMBEK (Montréal,Canada)1
C.McLARTY (Cleveland.U.S.A.)1
A.PROUTE (Paris.France)
M.THOMAS (Glasgow,Ecosse)

2
3

texte paru dans le volume 1
texte paru dans le volume 2
texte paru dans le volume 3

J.BENABOU (Paris.France)
A.BURRONI (Paris.France)
T.COQUAND (Paris.France)
Y.DIERS (Valenciennes,France)2
M.C.GAUDEL (Orsay,France)2
J.W.6RAY (Urbana.U.S.A.)3
G.HUET (Paris.France)
J.-L.KRIVINE (Paris.France)
CLAIR (Paris.France)
K.LELLAHI (Paris.France)
U.MARTIN (Londres,6.B.)
P.J.SCOTT (Ottawa,Canada)1
C.WELLS (Cleveland.U.S.A.)