-The unity and identity of decidable objects and double-negation sheaves (bibtex)
by Matías Menni
Reference:
-The unity and identity of decidable objects and double-negation sheaves (Matías Menni), In The Journal of Symbolic Logic, Cambridge University Press, volume 83, 2018.
Bibtex Entry:
@article{menni2018unity,
  title={-The unity and identity of decidable objects and double-negation sheaves},
  author={Menni, Mat{\'\i}as},
  journal={The Journal of Symbolic Logic},
  volume={83},
  number={4},
  pages={1667--1679},
  year={2018},
  publisher={Cambridge University Press}
}