%0 Journal Article %A Castanet, R. %T Sémantique formelle des opérateurs d'un langage de listes %J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique %D 1974 %P 19-36 %V 8 %N R3 %I Dunod-Gauthier-Villars %C Paris %U http://archive.numdam.org/item/ITA_1974__8_3_19_0/ %G fr %F ITA_1974__8_3_19_0