@article{CoquandS11-0,
  title = {Unique paths as formal points},
  author = {Thierry Coquand and Peter Schuster},
  year = {2011},
  url = {http://logicandanalysis.org/index.php/jla/article/view/107/39},
  researchr = {https://researchr.org/publication/CoquandS11-0},
  cites = {0},
  citedby = {0},
  journal = {J. Logic & Analysis},
  volume = {3},
}