Recording of a lecture delivered on April 12, 2013, by Philip LeCuyer as part of the Formal Lecture Series.
