Luís Cruz-Filipe. A Constructive Formalization of the Fundamental Theorem of Calculus. In Herman Geuvers, Freek Wiedijk, editors, Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Volume 2646 of Lecture Notes in Computer Science, pages 108-126, Springer, 2002. [doi]
Abstract is missing.