%0 Conference Proceedings
%F cohu85
%A Coquand, T.
%A Huet, G.
%T Constructions: A Higher Order Proof System for Mechanizing Mathematics
%B Proc. European Conf. on Computer Algebra (EUROCAL), Vol. 1 (Invited Lectures)
%P 151-184
%I Springer-Verlag
%8 April
%D 1985
%K typetheory