Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[May. 25th, 2004|03:09 pm]
Found some interesting course notes about provability logics.

Also I found my way back to David Rydeheard's work, somehow. I bumped into it years ago when I had the hots for n-category theory. This paper of Hilken's on the 2-lambda-calculus (connected to 2-categories) seems eerily familiar.