25 Aug
2009
25 Aug
'09
5:40 p.m.
As far as I can tell, the major difference between lambda calculus and pi calculus is that the rewrite rules in pi calculus aren't confluent, so it doesn't make a lot of sense to consider rewrite-equivalence classes of terms. What kind of category (or bicategory) does sorted pi calculus give? -- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]