The challenge of computer mathematics (2005)

by H Barendregt, F Wiedijk
Venue:Transactions A of the Royal Society