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

Cached

Download Links

by Catherine Parent
Venue:In Proceedings of the International Conference on Mathematics for Programs Constructions. Springer-Verlag LNCS 947
Citations:21 - 1 self