TY - RPRT TI - Type-theoretical natural language semantics: on the system F for meaning assembly AU - Christian Retoré PY - 2013 UR - https://arxiv.org/abs/1303.3036 ID - 1303.3036 ER -