Ciaffaglione, Alberto, 1970-....
VIAF ID: 216113108 ( Personal )
Permalink: http://viaf.org/viaf/216113108
Preferred Forms
Works
Title | Sources |
---|---|
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. |