[talks] C Richards FPO
Melissa Lawson
mml at CS.Princeton.EDU
Thu Apr 1 16:11:11 EDT 2010
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.
More information about the talks
mailing list