TY  - JOUR
AU  - Khalil, Wafaa
AU  - Walters, R. F. C.
TI  - An imperative language based on distributive categories II
JO  - RAIRO. Informatique théorique et applications
PY  - 1993
SP  - 503
EP  - 522
VL  - 27
IS  - 6
PB  - EDP-Sciences
UR  - https://www.numdam.org/item/ITA_1993__27_6_503_0/
LA  - en
ID  - ITA_1993__27_6_503_0
ER  -