%0 Conference Proceedings
%F hapo89
%A Harper, R.
%A Pollack, R.
%T Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions
%B Proc. Int'l J't Conf. on Theory and Practice of Software Development (Vol. 2)
%P 241-256
%I Springer-Verlag
%C Barcelona, Spain
%8 March
%D 1989
%K typetheory