Polynomial Universes and Dependent Types

Author

C.B. Aberlé, David I Spivak