[talks] C Richards FPO

Chris Richards will present his FPO on Thursday April 8 at 11AM in Room 402. The members of his committee are: Andrew Appel, advisor; David Walker and Paul-Andre Mellies (CNRS), readers; David August and Sanjeev Arora, nonreaders. A copy of his thesis, "The Approximation Modality in Models of Higher-Order Types" is on display in Room 310. Everyone is invited to attend his talk.