%0 Conference Proceedings
%F paulin89
%A Paulin-Mohring, C.
%T Extracting F-omega's Programs from Proofs in the Calculus of Constructions
%B Proc. 16th Annual ACM Symp. on Principles of Programming Languages
%P 89-104
%C Austin, Texas
%8 January
%D 1989
%K typetheory