@misc{indiciaed01979dd85d5, title = {Type-theoretical natural language semantics: on the system F for meaning assembly}, author = {Christian Retoré}, year = {2013}, url = {https://arxiv.org/abs/1303.3036}, note = {Source identifier: 1303.3036} }