User loginNavigation |
archivesInterval ComputationsInterval Computations came up in a recent LtU discussion. Are they a worthy language feature? Chu SpacesChu Spaces are a simple and surprisingly general mathematical construct with applications to linear logic, concurrency, games, physics, philosophy and foundational mathematics. If he hasn't run across them before, I imagine (at least) Andris Birkmanis will find them quite interesting. |
Browse archivesActive forum topics
|
Recent comments
14 weeks 2 days ago
18 weeks 3 days ago
20 weeks 1 day ago
20 weeks 1 day ago
22 weeks 5 days ago
27 weeks 3 days ago
27 weeks 3 days ago
27 weeks 6 days ago
27 weeks 6 days ago
30 weeks 5 days ago