Geodesic

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
p. 7-31
Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988)
p. 33-76
Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda
p. 77