Constructing strictly positive families (2007)

by Peter Morris, Thorsten Altenkirch, Neil Ghani
Venue:In Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65, CATS ’07