## Christine Paulin-Mohring

*Extracting Fω’s Programs from Proofs in the Calculus of Constructions*

POPL, 1989.

@inproceedings{POPL-1989-Paulin-Mohring, author = "Christine Paulin-Mohring", booktitle = "{Conference Record of the 16th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/75277.75285", isbn = "0-89791-294-2", pages = "89--104", publisher = "{ACM Press}", title = "{Extracting Fω’s Programs from Proofs in the Calculus of Constructions}", year = 1989, }