Recursive programming with proofs (0)

by M Parigot
Venue:Theor. Comp. Science