User loginNavigation |
archivesPoint 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. |
Browse archivesActive forum topics |
Recent comments
1 day 21 hours ago
2 days 18 hours ago
3 days 22 hours ago
3 days 23 hours ago
1 week 1 day ago
1 week 2 days ago
1 week 2 days ago
4 weeks 2 days ago
5 weeks 1 day ago
5 weeks 1 day ago