IST Logo Small

A Constructive Formalization of the Fundamental Theorem of Calculus

L. Cruz-Filipe

Proceedings of the workshop Types for Proof and Programs, Geuvers, H. and Wiedijk, F. (eds.), LNCS, Springer-Verlag 2003.

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:20 CET 2007.
IST Logo Small