@misc{indiciaef9cb536f9065,
  title = {Questions and dependency in intuitionistic logic},
  author = {Ivano Ciardelli and Rosalie Iemhoff and Fan Yang},
  year = {2017},
  doi = {10.1215/00294527-2019-0033},
  url = {https://arxiv.org/abs/1704.01866},
  note = {Source identifier: 1704.01866}
}