%0 Journal Article %A Khalil, Wafaa %A Walters, R. F. C. %T An imperative language based on distributive categories II %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1993 %P 503-522 %V 27 %N 6 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1993__27_6_503_0/ %G en %F ITA_1993__27_6_503_0