Home

Barker & Szabolcsi: New directions for proof theory in linguistics

Barker & 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!

By Ehud Lamm at 2007-08-29 15:34 | General | other blogs | 6657 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Oh indeed!

The reader alone is fascinating: so many papers, so little time...

I had not heard of lingBuzz before following the above link: this resource is very good to see - linguists need to put more of their papers online.

By Charles Stewart at Wed, 2007-08-29 19:39 | login or register to post comments