|
[Sep. 18th, 2009|02:25 pm]
Jason
|
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. |
|
