TY  - RPRT
TI  - Choice-free duality for orthocomplemented lattices by means of spectral spaces
AU  - Joseph McDonald
AU  - Kentaro Yamamoto
PY  - 2022
UR  - https://arxiv.org/abs/2010.06763
ID  - 2010.06763
ER  -