%0 Conference Proceedings
%A Bunder, Martin
%D 2008
%T The Inhabitation Problem for Intersection Types
%E Harland, James
%E Manyem, Prabhu
%B Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
%C Wollongong, NSW, Australia
%I ACS
%V 77
%P 7-14
%S CRPIT
%! The Inhabitation Problem for Intersection Types
%F CRPITV77-7-14
%Z abstract
%U http://crpit.com/confpapers/CRPITV77Bunder.pdf