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

Browse archivesActive forum topics 
Recent comments
7 hours 24 min ago
8 hours 24 min ago
16 hours 5 min ago
1 day 13 hours ago
1 day 18 hours ago
2 days 12 hours ago
2 days 13 hours ago
2 days 14 hours ago
2 days 14 hours ago
2 days 14 hours ago