TY - JOUR AU - Bellia, M. TI - Logic and functional programming by retractions : operational semantics JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1988 DA - 1988/// SP - 395 EP - 436 VL - 22 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1988__22_4_395_0/ UR - https://zbmath.org/?q=an%3A0666.68012 UR - https://www.ams.org/mathscinet-getitem?mr=984584 LA - en ID - ITA_1988__22_4_395_0 ER -