[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