Recent preprints

A remark on Hofmann-Streicher universes. draft
A Quillen model structure on cartesian cubical sets. the current draft
Kripke-Joyal forcing for type theory and uniform fibrations. S. Awodey, N. Gambino, S. Hazratpour. arXiv

Course materials