@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 = {} }