Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Sep. 18th, 2009|02:25 pm]
[Tags|, , ]

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.

[User Picture]From: roseandsigil
2009-09-18 06:58 pm (UTC)
ν is deeply wrong; I'm not really sure what they were thinking. Doesn't Milner know better?
(Reply) (Thread)