The random thoughts I was having about viewing
contexts in logical calculi *algebraically* are
vindicated by bunched logic, about which I found
a nice introductory paper (O'Hearn and Pym, '99)
So so cool.
Oh, in fact, that's the paper that indtroduced
the logic in the first place. There's another one
also with Yang that has lots of incredibly cool
varieties of semantics, algebraic considerations,
and potential applications.
Hmm. Queen Mary's in general has a lot of people
working on cool stuff. I'm almost attempted to apply there
for the PhD program, but they seem to want a master's
first, and I had pretty much already decided not
to apply overseas.