Jason (jcreed) wrote,

This evening there was a free Austra show in a little record shop in NoHo that K found out about, promoting their new album. Pretty good show.

As for math: I'm also really excited that the stoup-constrained linear logic in Egger/Møgelberg/Simpson's Enriching an Effect Calculus with Linear Types admits a nice focus-preserving translation. It's only very slightly different from normal linear logic, but all the patterns I've come to expect about focusing and display properties still hold, and for subtly different reasons than normal, because the linear function space lives up at the valid judgment.

That and the Liang/Miller Intuitionistic Control Logic are the two cases where I've had to actually guess a novel resource/frame/structure algebra, but the answer in each case is really pleasing.
Tags: logic, math, music

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded