Knowledge Tree

researcher / Alberto Ciaffaglione

Alberto Ciaffaglione

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Certified reasoning on real numbers and objects in co-inductive type theory