Skip to content

Hofmann-Streicher universes for graphs and globular types #8254

Hofmann-Streicher universes for graphs and globular types

Hofmann-Streicher universes for graphs and globular types #8254