A Constructive Formalization of the Fundamental Theorem of Calculus.

Luís Cruz-Filipe A Constructive Formalization of the Fundamental Theorem of Calculus. 108-126 2002 conf/types/2002 TYPES http://link.springer.de/link/service/series/0558/bibs/2646/26460108.htm db/conf/types/types2002.html#Cruz-Filipe02