User loginNavigation |
Barker & Szabolcsi: New directions for proof theory in linguisticsBarker & Szabolcsi: New directions for proof theory in linguistics. ESSLLI 2007. We sometimes mention that some of the theoretical tools used in PLT are aslo used in linguistics, and this is a great resource for those who want to catch up on recent developments, as well as for those who want to know what's all the fuss is about. You'll find all the usual suspects: types, continuations, Curry-Howard etc. Enjoy! |
Browse archives
Active forum topics |
Recent comments
17 weeks 14 hours ago
17 weeks 14 hours ago
17 weeks 14 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago