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

by L Cruz-Filipe
Venue:in ‘Proceedings of the International Conference on Types for Proofs and Programs (TYPES’02