Owen (![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} zootalures) wrote,@ 2008-05-22 23:32:00 |
|
Things & Stuff
We have a new shower curtain, now the whole house smells of inflatable beach toys. The new shower curtain has a map of the world on it which doesn't include Belize.
I went to a logic seminar this afternoon, It included Linear Logic in the title; I'm interested in Linear Logic but I didn't understand much of the talk/discussion, It seemed to revolve around an argument about game semantics for proof and Category Theory which I also don't understand.
We have a new shower curtain, now the whole house smells of inflatable beach toys. The new shower curtain has a map of the world on it which doesn't include Belize.
I went to a logic seminar this afternoon, It included Linear Logic in the title; I'm interested in Linear Logic but I didn't understand much of the talk/discussion, It seemed to revolve around an argument about game semantics for proof and Category Theory which I also don't understand.
