User loginNavigation |
archivesLectures on the Curry-Howard IsomorphismApparently there's a new book version of these excellent lecture notes. Anyone see this? I'd be glad to know more about this book. |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago