Proposal for a natural formalization of functional programming concepts

Patrick Bellot, Djamil Sarni
1988 RAIRO - Theoretical Informatics and Applications  
doi:10.1051/ita/1988220303411 fatcat:4oytquplojdrph4pc4ewalb5hi