Type theory has been a central area of research in logic, the semantics of pro-
gramming languages, and natural language semantics over the past fifty years.
Recent developments in type theory have been used to reconstruct the formal
foundations of computational semantics (Ranta (1994), Fox and Lappin (2005),
Ginzburg (2012), Retore (2012), Cooper (2012), Cooper et al. (2013)). These
theories are generally intensional and polymorphic in character, and they al-
low for structured, fine-grained encoding of information across a diverse set of
linguistic domains.
The work in this area has opened up new approaches to modeling the rela-
tions between, inter alia, syntax, semantic interpretation, dialogue, inference,
and cognition, from a largely proof theoretic perspective.
The proposed workshop will provide a forum for the presentation of leading
edge research in this fast developing subeld of computational linguistics. To
the best of our knowledge it will be the first major conference on this topic
hosted by the ACL.
征稿信息
重要日期
2014-01-23
摘要截稿日期
征稿范围
We invite papers on topics including, but not limited to, the following:
subtyping
lexical semantics
record types
intensionality
probabilistic type theory
type theory and the interface among syntax, semantics, phonology
type theory and func
留言