Briefly stated, the Bohm and Jacopini paper makes … [func] L, i.e. any L-structure (including those permitting arbitrary transfer of … an L-structure to a D-structure, a finite number … a stack, and only the value of the … program.
Google-1
Google-2
Copyright clearance needed for quotation.