Universes in Explicit Mathematics (1999)

by Gerhard Jäger, Reinhard Kahle, Thomas Studer
Venue:Annals of Pure and Applied Logic