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

by Catherine Parent
Venue:In Mathematics for Programs Constructions