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 2007-05-04 17:29 | LtU Forum | previous forum topic | next forum topic | other blogs | 6018 reads
|
Browse archives
Active forum topics |
Recent comments
5 weeks 4 days ago
5 weeks 5 days ago
5 weeks 6 days ago
5 weeks 6 days ago
6 weeks 4 days ago
6 weeks 5 days ago
6 weeks 5 days ago
9 weeks 5 days ago
10 weeks 4 days ago
10 weeks 4 days ago