@article{ITA_1993__27_6_503_0, author = {Khalil, Wafaa and Walters, R. F. C.}, title = {An imperative language based on distributive categories {II}}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {503--522}, publisher = {EDP-Sciences}, volume = {27}, number = {6}, year = {1993}, mrnumber = {1258750}, zbl = {0806.18006}, language = {en}, url = {http://www.numdam.org/item/ITA_1993__27_6_503_0/} }
TY - JOUR AU - Khalil, Wafaa AU - Walters, R. F. C. TI - An imperative language based on distributive categories II JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1993 SP - 503 EP - 522 VL - 27 IS - 6 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1993__27_6_503_0/ LA - en ID - ITA_1993__27_6_503_0 ER -
%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
Khalil, Wafaa; Walters, R. F. C. An imperative language based on distributive categories II. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 27 (1993) no. 6, pp. 503-522. http://www.numdam.org/item/ITA_1993__27_6_503_0/
1. An Imperative Language based on Distributive Categories, in Mathematical Structures for Computer Science (to appear). | MR | Zbl
,2. Categories and Computer Science, Carslaw Publications, 1991, Cambridge University Press, 1992. | MR | Zbl
,3. Lecture at the Conference on Categories and Computer Science, Durham, July 1991.
,