@article{frobenius-generic,
  author = {Hazratpour, Sina and Riehl, Emily},
  title = {A 2-categorical proof of Frobenius for fibrations defined from a generic point},
  journal = {Mathematical Structures in Computer Science},
  volume = {34},
  number = {4},
  pages = {258–280},
  year = {2024},
  publisher = {Cambridge University Press},
  doi = {10.1017/S0960129524000094},
  url = {},
  abstract = {}
}
@article{kripke-joyal-uniform-fibrations,
  author = {Awodey, Steve and Hazratpour, Sina and Gambino, Nicola},
  title = {Kripke-Joyal forcing for type theory and uniform fibrations},
  journal = {Selecta Mathematica},
  volume = {30},
  number = {4},
  pages = {70},
  year = {2024},
  publisher = {Springer},
  doi = {10.1007/s00029-024-00962-2},
  url = {https://doi.org/10.1007/s00029-024-00962-2},
  abstract = {}
}