Jason (jcreed) wrote,
Jason
jcreed

Yesterday had thanksgiving dinner at Ross's place (delicious) and watched "The Last Unicorn" (inexplicably bizarre). Had a dream about a dude making Rubik's Cube Art.

I think I worked how how to translate the more general Pfenning-Davies multimodal logic setup down into linear logic token-passing, but it's weirding me out how hard it seems to get the lax and possibility modalities to work right in the same translation.
Tags: food, movies, social, work
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 7 comments