1 paper
Raphaël Sterbac, Jonathan Sterling
Universes are central to dependent type theory, and they are notoriously difficult to handle in a way that is both correct and usable. We propose a new "fuss-free" generalised alge…