A Linguistic View of Constuctive Type Theory
by Amanda Holland-Minkley
I'll be discussing the particular suitableness of constructive type theory for modeling the structure and meaning of natural language expressions, following the arguments in Aarne Ranta's Type Theoretical Grammar. As part of this discussion I'll be handing out and covering the second chapter of the book, Gradual Introduction to Type Theory. I hope that this will be both a good introduction to type thoery for beginners and an interesting alternate view of the topic for the experts in the audience.