%0 Conference Proceedings
%A Morris, Peter
%A Altenkirch, Thorsten
%A Ghani, Neil
%D 2007
%T Constructing Strictly Positive Families
%E Gudmundsson, Joachim
%E Jay, Barry
%B Thirteenth Computing: The Australasian Theory Symposium (CATS2007)
%C Ballarat, Australia
%I ACS
%V 65
%P 111-121
%S CRPIT
%! Constructing Strictly Positive Families
%F CRPITV65-111-121
%Z abstract
%U http://crpit.com/confpapers/CRPITV65Morris.pdf