1 paper · 1 filter
Mark Damuni Williams
Modalities in homotopy type theory are used to create and access subuniverses of a given type universe. These have significant applications throughout mathematics and computer scie…