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.