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

by L Cruz-Filipe
Venue:Types for Proofs and Programs, Proceedings of the International Workshop, TYPES 2002, Berg en Dal, NL, LNCS