Constructing strictly positive families (2007)

by Peter Morris , Thorsten Altenkirch
Venue:In The Australasian Theory Symposium (CATS2007
Citations:11 - 4 self