%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://www.numdam.org/item/CTGDC_1991__32_2_165_0/
%G en
%F CTGDC_1991__32_2_165_0