Type Dependency, Type Theory with Records, and Natural-Language Flexibility
16th and 17th of June 2011
Interaction, Media and Communication group
In collaboration with the LOCI project
Queen Mary University of London
Program
Thursday, the 16th of March 09:30 : Aarne Ranta. Machine Translation, Type Theory, Dependent Types. 10:20 : Alain Lecomte. Paraproofs as meanings. Coffee (30 min) 11:30 : Robin Cooper. Dependent types in TTR. 12:20 : Myriam Quatrini & Eugenia Sironi. Records in Ludics. Lunch (1 hour) 14:00 : Graham White. Linearity, Non-Linearity and E-Type Phenomena. 14:40 : Jonathan Ginzburg. Integrating multimodality into a type theoretic model of learning in dialogue. 15:30 : Wilfried (…)
Statement
There has recently been a surge of interest in the use of rich type systems (with, variously, record types, subtyping, and/or dependent intersections) in order to express various linguistic phenomena at various levels : subsententially there are applications to lexical semantics, sententially one sees accounts of syntax, and in the realm of which is traditionally called pragmatics one finds accounts of dialogue that are markedly more subtle than the usual pragmatic treatment. Something is (…)
