TY - JOUR AU - Sallé, P. TI - Note sur la sémantique des structures de contrôle JO - RAIRO. Informatique théorique PY - 1979 DA - 1979/// SP - 185 EP - 188 VL - 13 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1979__13_2_185_0/ UR - https://zbmath.org/?q=an%3A0427.68027 UR - https://www.ams.org/mathscinet-getitem?mr=543939 LA - fr ID - ITA_1979__13_2_185_0 ER -