Diagrammes, Tome 24 (1990)

Actes Volume 3. Journées d'études esquisses, logique et informatique théorique

Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)

DIA

p. 5

Executable specifications for data-type constructors

Gray, John W.

p. 7-31

Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988)

Coppey, L.

p. 33-76

Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda

Ageron, Pierre

p. 77