%O Report 
%F cohu86
%A Coquand, T.
%A Huet, G.
%T The Calculus of Constructions
%N 0
%I INRIA
%8 May
%D 1986
%K typetheory