Programming with proofs (1990)

by J L Krivine, M Parigot
Venue:J. Inf. Process. Cybern. EIK