Diagrammes, Tome 23 (1990)

Geodesic

Parcourir par

Actes Volume 2. 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

Construction of an homology and a cohomology theory associated to a first order formula

Guitart, René

p. 7-13

Booloïdes

Koudsi, Elie ; Diers, Yves

p. 15-41

Substitution up to isomorphism

Curien, P.-L.

p. 43-66

A theory of software reusability

Gaudel, M. C. ; Moineau, Th.

p. 67-84