User loginNavigation 
Point free pi calculusDoes anyone know if there is a point free translation of the pi calculus similar to using SK combinators to translate the Lambda calculus? Specifically, I would like to express the Pi calculus in terms of combinators only (no mechanism for new variable names), and although I think I can do this with SK combinators plus a couple primitives, I am wondering if there is any existing work on this. By procyon at 20070504 17:29  LtU Forum  previous forum topic  next forum topic  other blogs  4560 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
1 week 4 days ago
1 week 5 days ago
1 week 5 days ago
2 weeks 11 hours ago
2 weeks 5 days ago
3 weeks 3 hours ago
3 weeks 11 hours ago
3 weeks 1 day ago
3 weeks 4 days ago
4 weeks 13 hours ago