216113108PersonalSUDOC|075173247ISNI|000000035903276320Ciaffaglione, Alberto, 1970-....SUDOCSUDOC|075173247ISNIISNI|0000000359032763Ciaffaglione, Alberto1970-...ISNIISNI|0000000359032763ISNI|0000000359032763SUDOC|075173247Ciaffaglione, Alberto,1970-....SUDOCSUDOC|075173247SUDOC|075173247ISNI|0000000359032763uKirchner, Claude (1951-....).SUDOCSUDOC|075173247ISNIISNI|0000000359032763Università degli studi (Udine, Italie)ISNIISNI|0000000359032763Institut national polytechnique de LorraineISNIISNI|0000000359032763[s.n.]ISNIISNI|00000003590327631970-07-300lived200amSUDOCSUDOC|075173247mmSUDOCSUDOC|075173247FRSUDOCSUDOC|075173247SUDOCSUDOC|075173247Certified reasoning on real numbers and objects in co-inductive type theorySUDOCSUDOC|075173247Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs.2024-02-22T18:47:25.836188+00:00