A universe of strictly positive families (2007)

by P Morris, T Altenkirch, N Ghani