Catherine Oriat. Modular specifications: constructions with finite colimits, diagrams, isomorphisms. RR 964-I-LSR-3, Laboratoire LSR-IMAG, Septembre 1996.
@TechReport{RA:Oriat96a,
Author = {Oriat, Catherine},
Title = {Modular specifications: constructions with finite colimits, diagrams, isomorphisms},
Institution = {964-I-LSR-3, Laboratoire LSR-IMAG},
Month = {September},
Year = {1996}
}
Charger la référence EndNote (.ref)