Programming with proofs: A second order type theory (1988)

by M Parigot
Venue:In: ESOP ’88: Proceedings of the 2nd European Symposium on Programming