## Synthesizing proofs from programs in the Calculus of Inductive Constructions (1995)

by
Catherine Parent

Venue: | In Proceedings of the International Conference on Mathematics for Programs Constructions. Springer-Verlag LNCS 947 |

Citations: | 21 - 1 self |