Pietro Di Gianantonio

Pietro Di Gianantonio

Università degli Studi di Udine - Udine / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1854399
University of Udine
person_outline Pietro Di Gianantonio's MOST POPULAR ARTICLES
1-) Real number computability and domain theoryP Di GianantonioInformation and Computation 127 (1), 11-25, 1996821996
2-) A functional approach to computability on real numbersP Di GianantonioBulletin-European Association For Theoretical Computer Science 50, 518-518, 199374*1993
3-) A unifying approach to recursive and co-recursive definitionsP Di Gianantonio, M MiculanTypes for Proofs and Programs: International Workshop, TYPES 2002, Berg en …, 2003602003
4-) A certified, corecursive implementation of exact real numbersA Ciaffaglione, P Di GianantonioTheoretical Computer Science 351 (1), 39-51, 2006602006
5-) A lambda calculus of objects with self-inflicted extensionP Di Gianantonio, F Honsell, L LiquoriProceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998541998