%0 Journal Article 
%F cohu88
%A Coquand, T.
%A Huet, G.
%T Calculus of Constructions
%J Information and Computation
%V 76
%P 95-120
%D 1988
%K typetheory