https://www.kth.se/math/kalender/evan-cavallo-interpreting-cubical-types-as-spaces-1.1359515?date=2024-10-03&orgdate=2024-02-13&length=1&orglength=0
Evan Cavallo: Interpreting cubical types as spaces | KTH
evan cavallointerpretingcubicaltypesspaces
https://www.math-stockholm.se/en/kalender/semlogic/evan-cavallo-observational-type-theories-1.1199870
Evan Cavallo: Observational Type Theories | SMC
evan cavalloobservationaltypetheoriessmc