The abbreviated notation I(e1,e2, … ,en) … is equivalent to 'resume(create f with (el, e2, … ,en)'. Note that the functional notation results in … f. [allows functional composition eg g(x) (a,b) applies the result of f(x) to (a,b)
Google-1
Google-2
Copyright clearance needed for quotation.