1 paper
Marc Bezem, Thierry Coquand, Peter Dybjer +1
We present generalized algebraic theories corresponding to slightly modified versions of two of the type theories in our paper Type Theory with Explicit Universe Polymorphism. We f…