Displaying similar documents to “Proposal for a natural formalization of functional programming concepts”