@article{MENNI_2018,
doi = {10.1017/jsl.2018.42},
url = {https://doi.org/10.1017%2Fjsl.2018.42},
note = {},
year = {2018},
month = {dec},
pages = {1667--1679},
title = {The unity and identity of decidable objects and double-negation sheaves},
author = {MatÃas Menni},
number = {04},
volume = {83},
journal = {The Journal of Symbolic Logic},
publisher = {Cambridge University Press (CUP)},
}