5 Sep
2009
5 Sep
'09
2:06 a.m.
Thanks, all, for your helpful comments! On Tue, Aug 25, 2009 at 10:40 AM, Mike Stay<metaweta@gmail.com> wrote:
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/ ]