@inproceedings{cap-dan-vez:higher-lenses,
  author={Capriotti, Paolo and Danielsson, Nils Anders and Vezzosi, Andrea},
  booktitle={2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, 
  title={Higher Lenses}, 
  year={2021},
  volume={},
  number={},
  pages={1-13},
  doi={10.1109/LICS52264.2021.9470613}}