Misha Gavrilovich, Assaf Hasson, Itay Kaplan. The Univalence Axiom in posetal model categories. Journal of Logic and Computation, 25(3):669-682, 2015. [doi]
@article{GavrilovichHK15, title = {The Univalence Axiom in posetal model categories}, author = {Misha Gavrilovich and Assaf Hasson and Itay Kaplan}, year = {2015}, doi = {10.1093/logcom/exu022}, url = {http://dx.doi.org/10.1093/logcom/exu022}, researchr = {https://researchr.org/publication/GavrilovichHK15}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {25}, number = {3}, pages = {669-682}, }