Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Quotient Types in Coq -- A Constructive Formalization of the Fundamental Theorem of Calculus -- Two...”