%0 Conference Proceedings
%F felty93
%A Felty, Amy
%T Encoding the Calculus of Constructions in a Higher-Order Logic
%B Proc. Logic in Computer Science (LICS), Montreal, Canada
%I IEEE Computer Society Press
%8 June
%D 1993
%K typetheory