PFPL reading notes

August 31, 2017

This is a collection of random notes when reading the textbook PFPL.

Definition

“x is bound within a2”

equation

can be intrepreted as x is an immaterial variable within a2