Jason (jcreed) wrote,
Jason
jcreed

Physics II: Blah....

ATP seminar: Kaustuv talked about hyperresolution and focussing. Over my head.

ConCert meeting: Frank talked about ordered logic. Has something to with serialization? Maybe. I'm stubbornly believing that it has more to do with "strong" associativity than ordering per se.

Physics II Test: Blah.

Chatted with tom7 and kaustuv about various type theory and logic stuff.
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