Concepedia

Pietro Di Gianantonio

PD

Statistics

Publications

8

Citations

243

H-Index

8

Active since

1995

Affiliations

University of Udine(Current)

Pietro Di Gianantonio is an author at University of Udine specializing in computer science, computing, and type systems.

ORCID

Publications per year

1995–2008

8

Publications

8

Real Number Computability and Domain Theory

Pietro Di Gianantonio · Information and Computation · 1996 · 52 citations

, , +11

A certified, corecursive implementation of exact real numbers

Alberto Ciaffaglione, Pietro Di Gianantonio · Theoretical Computer Science · 2005 · 35 citations

, , +9

A Functional Approach to Computability on Real Numbers

Pietro Di Gianantonio · 2005 · 34 citations

, , +17

Uncountable limits and the lambda calculus

Pietro Di Gianantonio, Furio Honsell, Gordon Plotkin · ERA · 1995 · 33 citations · Full text

, , +10

A lambda calculus of objects with self-inflicted extension

Pietro Di Gianantonio, Furio Honsell, Luigi Liquori · 1998 · 32 citations · Full text

, , +16

1–5 of 8