@article{ITA_1988__22_3_341_0, author = {Bellot, Patrick and Sarni, Djamil}, title = {Proposal for a natural formalization of functional programming concepts}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {341--360}, publisher = {EDP-Sciences}, volume = {22}, number = {3}, year = {1988}, mrnumber = {963596}, zbl = {0648.68041}, language = {en}, url = {http://www.numdam.org/item/ITA_1988__22_3_341_0/} }