June 5th, 2012

beartato phd

(no subject)

Having a crummy day on a gut level for some reason, but over lunch break I worked out some more sweet, sweet math, continuing the same line of thinking that I've been mumbling about lately. Basically I think I'm getting awfully close to achieving a personal holy-grail sort of goal that I've had since around the end of grad school, namely, figuring out a nice way of blending all the modal and substructural things I've heard of into one snappy encoding down into something that is neither modal nor substructural.