|
Courses and Workshops
|
| Title: | Type Logical Grammar |
| Lecturer(s): | Glyn Morrill (Universitat Politecnica de Catalunya) |
| Type: | Introductory Course |
| Section: | Logic and Language |
| Week: | First | | Time: | 14.00-15.30 (Slot 3) |
| Webpage: | http://www-lsi.upc.es/~morrill/
|
| Reader: | Download | | Room: | A1 |
Description Introduction to the current state of the art in Type Logical Grammar and
associated processing: Typed lambda calculus and higher order logic
Lambek calculus and Basic TLG Natural deduction type assignment calculus
Simple grammar fragment Proof nets Syntactic structures as proof nets
and words as modules Incremental processing and lexical partial
execution Additives and polymorhism Quantifiers and features
Multimodality and discontinuity Advanced grammar fragment
|
© 2003, 2004 LORIA, Carlos Areces. |
2003-11-20
| |
