We meet today at our regular time, 12:30-2:30, in WVH 166. Carl Eastlund will discuss the Curry-Howard isomorphism. Next week, we will discuss another section (yet to be determined) of Principles of Program Analysis. Richard