@misc{transport,
  title={{Transport via Partial Galois Connections and Equivalences}},
  author={{Kevin Kappelmann}},
  year={2023},
  eprint={2303.05244},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  doi={10.48550/arXiv.2303.05244}
}

@inproceedings{lifting,
  title={{Lifting and Transfer: A modular design for quotients in Isabelle/HOL}},
  author={{Huffman, Brian and Kun{\v{c}}ar, Ond{\v{r}}ej}},
  booktitle={Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings 3},
  pages={131--146},
  year={2013},
  organization={Springer},
  doi={10.1007/978-3-319-03545-1_9}
}

