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

Browse archivesActive forum topics 
Recent comments
1 hour 49 min ago
2 hours 39 min ago
13 hours 50 min ago
16 hours 33 min ago
16 hours 52 min ago
16 hours 56 min ago
22 hours 45 min ago
2 days 12 hours ago
2 days 16 hours ago
3 days 16 hours ago