Certified reasoning on real numbers and objects in co-inductive type theory. (Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alberto Ciaffaglione. Certified reasoning on real numbers and objects in co-inductive type theory. (Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs). PhD thesis, National Polytechnic Institute of Lorraine, Nancy, France, 2003. [doi]

Abstract is missing.

runs on WebDSL