Voir la notice de l'article provenant de la source Numdam
@article{CTGDC_1991__32_2_165_0,
author = {Hilken, B. and Rydeheard, D. E.},
title = {Indexed categories for program development},
journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
pages = {165--185},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {32},
number = {2},
year = {1991},
mrnumber = {1142689},
zbl = {0746.03019},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CTGDC_1991__32_2_165_0/}
}
TY - JOUR AU - Hilken, B. AU - Rydeheard, D. E. TI - Indexed categories for program development JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1991 SP - 165 EP - 185 VL - 32 IS - 2 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://geodesic.mathdoc.fr/item/CTGDC_1991__32_2_165_0/ LA - en ID - CTGDC_1991__32_2_165_0 ER -
%0 Journal Article %A Hilken, B. %A Rydeheard, D. E. %T Indexed categories for program development %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 1991 %P 165-185 %V 32 %N 2 %I Dunod éditeur, publié avec le concours du CNRS %U http://geodesic.mathdoc.fr/item/CTGDC_1991__32_2_165_0/ %G en %F CTGDC_1991__32_2_165_0
Hilken, B.; Rydeheard, D. E. Indexed categories for program development. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 32 (1991) no. 2, pp. 165-185. http://geodesic.mathdoc.fr/item/CTGDC_1991__32_2_165_0/