TY - JOUR AU - Bellot, Patrick AU - Sarni, Djamil TI - Proposal for a natural formalization of functional programming concepts JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1988 DA - 1988/// SP - 341 EP - 360 VL - 22 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1988__22_3_341_0/ UR - https://zbmath.org/?q=an%3A0648.68041 UR - https://www.ams.org/mathscinet-getitem?mr=963596 LA - en ID - ITA_1988__22_3_341_0 ER -