What is the root of "first class object" of programming languages? (Also see https://en.wikipedia.org/wiki/First-class_function, and https://stackoverflow.com/questions/245192/what-are-first-class-objects)
Does it come from logics, lambda calculus or some other formal systems and the languages used in these formal systems? Thanks.