Constructive mathematics and computer programming (1985)

by P Martin-Löf
Venue:In Proc. Of a Discussion Meeting of the Royal Society of London on Mathematical Logic and Programming Languages