@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}, zbl = {0806.18006}, mrnumber = {1258750}, 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 DA - 1993/// SP - 503 EP - 522 VL - 27 IS - 6 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1993__27_6_503_0/ UR - https://zbmath.org/?q=an%3A0806.18006 UR - https://www.ams.org/mathscinet-getitem?mr=1258750 LA - en ID - ITA_1993__27_6_503_0 ER -
Khalil, Wafaa; Walters, R. F. C. An imperative language based on distributive categories II. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 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 1189984 | Zbl 0788.18008
,2. Categories and Computer Science, Carslaw Publications, 1991, Cambridge University Press, 1992. | MR 1204658 | Zbl 0789.18001
,3. Lecture at the Conference on Categories and Computer Science, Durham, July 1991.
,