User loginNavigation |
archivesTypes are fundamental to both logic and computationTypes are fundamental to both logic and computation: The issue of types arose in another LtU discussion where it seemed tangential but since the topic is fundamental, it is worthy of discussion because there seems to be a great deal of confusion and controversy on the part of both theoreticians and practitioners. |
Browse archivesActive forum topics |
Recent comments
1 week 4 days ago
1 week 4 days ago
1 week 4 days ago
23 weeks 5 days ago
28 weeks 21 hours ago
29 weeks 5 days ago
29 weeks 5 days ago
32 weeks 2 days ago
37 weeks 7 hours ago
37 weeks 8 hours ago