User loginNavigation |
pi-ple rights oppressedWe have a category for Theory/Lambda Calculus, but none for Theory/Pi and related calculi. Not sure, what the specific name should be, though. By Andris Birkmanis at 2005-02-06 19:29 | Site Discussion | previous forum topic | next forum topic | other blogs | 6949 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 15 hours ago
6 weeks 19 hours ago
6 weeks 19 hours ago
28 weeks 2 days ago
32 weeks 3 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 5 days ago
41 weeks 3 days ago
41 weeks 3 days ago