%0 Journal Article 
%F vanbakel92
%A van Bakel, Steffen
%T Complete restrictions of the intersection type discipline
%J Theoretical Computer Science (TCS)
%V 102
%P 135-163
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/bakel1992.pdf
%D 1992
%K typetheory