Jason (jcreed) wrote,

A canary? What would a bank teller be doing with a canary on his head?

I feel that on-the-threshold-of-making-a-minor-breakthrough itch about this problem again, which is keeping me working on it and from doing homework and attending to other little grad student responsibilities.

Some notes for the benefit of future-me:
The current situation is still feeling that the hard gap is between the multiple-conclusion and single-conclusion version of the calculus, which in a way puts me right back in spring semester 2004 when Frank first posed the problem; if there's some way of phrasing the soundness proof in terms of "normalizing away" all the letccs, though, that seems to have a much better chance of scaling up to the bunched setting than either my or noam's current proof.
Tags: math, work

  • (no subject)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    Sean's back in town --- good fun working with nonremote teammates.

  • (no subject)

    Sean's in town at work, good times.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment