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

Table of contents

Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
DIA
p. 5
Construction of an homology and a cohomology theory associated to a first order formula
p. 7-13
Booloïdes
p. 15-41
Substitution up to isomorphism
p. 43-66
A theory of software reusability
p. 67-84