Recording of a lecture delivered on October 16, 2015, by Daniel Harrell as part of the Formal Lecture Series.
A typescript of Mr. Harrell's lecture is also available on the SJC Digital Archives.
