Programming with proofs (1990)

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