[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear All, Do any of you know a student who wants to do a PhD? We have a place available for anyone interested in type theory, category theory or functional programming. The student must a first class degree or masters with distinction All the best Neil
