November 7th, 2008

beartato phd

(no subject)

Saw Dan Licata's thesis proposal. Although he said he and noam had already considered it a long time ago, I still wonder what you can do by thinking about base types as "computational" vs. "definitional" rather than imputing it to function types.