Lambda calculus is the basis for many old and new languages alike, and there are a plethora of academic papers written on the subject. I disagree that programming is at the “pre-scientific stage of existence,” but rather languages built on these approaches come at a cost due to their high-level nature.