Jason (jcreed) wrote,

I went to lambdacalculus's thesis proposal practice talk. It was not flawless, but very solid and engaging in the way that pretty much all of his talks tend to be. I'm confident he'll iron out the last few wrinkles before the real deal on Monday.

Also, whoever made this is like the Homer of livejournal icons. Epic Bard Homer or Yellow D'oh Homer? I let you decide.
Tags: livejournal, talks

  • (no subject)

    I think I got around the need for corecursion by just using One More Linear Token: defining ◇A = ∃x.z(x) ⊗ □!(z(x) ⊸ ∀a.q(a) ⊸ ∃b.q(b) ⊗ □!(ℓ(a) ⊸…

  • (no subject)

    Thought some more about what happens when you take positive props P ::= ↓G | P ⊕ P | 0 negative props N ::= ↑G | N & N | ⊤ games G ::= {N|P}…

  • (no subject)

    Dang. Stuff from yesterday led down a path that made me think I had a very tidy answer to the age-old question of "read-only…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded