Jason (jcreed) wrote,
Jason
jcreed

LF meeting today was neat. simrob talked about some issues in CLF and Frank explained the things you can do with ordered substructural operational semantics that simrob had already sketched out to me.
Tags: 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 

  • 0 comments