TY  - RPRT
TI  - Questions and dependency in intuitionistic logic
AU  - Ivano Ciardelli
AU  - Rosalie Iemhoff
AU  - Fan Yang
PY  - 2017
DO  - 10.1215/00294527-2019-0033
UR  - https://arxiv.org/abs/1704.01866
ID  - 1704.01866
ER  -