Catalog Β· Structure and Interpretation of Computer Programs Lecture 2 of 20 1B: Procedures and Processes; Substitution Model β Previous 1A: Overview and Introduction to Lisp Next β 2A: Higher-order Procedures β Mark complete Materials Transcript (PDF) β transcript