@article{sterling-2026-reflexive, title={Reflexive graph lenses in univalent foundations}, volume={36}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129526100565}, DOI={10.1017/s0960129526100565}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Sterling, Jonathan}, year={2026} }