Lecture 1B | MIT 6.001 Structure and Interpretation, 1986
In brief
Lecture 1B of MIT's 6.001 Structure and Interpretation of Computer Programs (1986) with Gerald Sussman, covering procedures, processes and the substitution model. It includes the line about the power of naming things.