Jason (jcreed) wrote,
Jason
jcreed

Magnetic Putty Action Video!. (stolen from some discussion on susancalvin's journal)

Went to Aleks's thesis oral, and Andy Pitt's talk on "fresh names". Had an advisor meeting in the middle of the two, wherein Frank told me about some crazy idea having to do with sticking equational assumptions in an LF context in some way that somehow wasn't supposed to lead to undecidability.
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