A constructive formalization of the fundamental theorem of calculus (2003)

by L Cruz-Filipe
Venue:Types for Proofs and Programs , volume 2646 of LNCS