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  4407 reads

Browse archivesActive forum topics 
Recent comments
1 week 4 days ago
1 week 5 days ago
1 week 5 days ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago