TY  - RPRT
TI  - Generalized Quantifiers on Dependent Types: A System for Anaphora
AU  - Justyna Grudzinska
AU  - Marek Zawadowski
PY  - 2016
UR  - https://arxiv.org/abs/1402.0033
ID  - 1402.0033
ER  -