Jason (jcreed) wrote,

Went to "PLClub" lunch, Penn's rough analogue of ConcertRG. It was great fun. Daniel Wagner talked about graph rewriting (which led straight to pushouts, woo category theory) and the π-calculus. To this day I still find the way ν works in π-calculus to be kind of gross and weird.
Tags: penn, plclub, talks

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment