Constructing strictly positive families (2007)

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