TY  - RPRT
TI  - Kripke-Joyal forcing for type theory and uniform fibrations
AU  - S. Awodey
AU  - N. Gambino
AU  - S. Hazratpour
PY  - 2024
UR  - https://arxiv.org/abs/2110.14576
ID  - 2110.14576
ER  -