Pietro Di Gianantonio
Author
Alternate names Pietro Di Gianantonio, Pietro Gianantonio, P. Di Gianantonio
Institution University of Udine
Past institutions University of Udine, Politecnico di Milano, University of Oxford, University of Edinburgh
ORCID: Yes
H-index: 14
I10-index: 15
Works count: 53
Citations count: 482
Real Number Computability and Domain Theory
1996 · Pietro Di Gianantonio · Information and Computation
A certified, corecursive implementation of exact real numbers
2005 · Alberto Ciaffaglione, Pietro Di Gianantonio · Theoretical Computer Science
Uncountable limits and the lambda calculus
1995 · Pietro Di Gianantonio, Furio Honsell, et al. · Nordic journal of computing