A Constructive Formalization of the Fundamental Theorem of Calculus (2002)

by Luís Cruz-Filipe
Venue:Proceedings of the 2nd International Workshop on Types for Proofs and Programs (TYPES 2002), volume 2646 of LNCS, Berg en Dal