Geodesic
Indexed categories for program development
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 32 (1991) no. 2, pp. 165-185 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@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},
     year = {1991},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {32},
     number = {2},
     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/