June 18th, 2008

beartato phd

(no subject)

Went to Paul Levy's "Call by Push Value" talk. Extremely tantalizing stuff. I still feel like his adjunction U and F don't really correspond to Girard's shift operators quite — I think there's more story here than that.