| 2008 |
|---|
| 22 | EE | Pietro Di Gianantonio,
Furio Honsell,
Marina Lenisa:
RPO, Second-Order Contexts, and lambda-Calculus.
FoSSaCS 2008: 334-349 |
| 21 | EE | Pietro Di Gianantonio,
Furio Honsell,
Marina Lenisa:
A type assignment system for game semantics.
Theor. Comput. Sci. 398(1-3): 150-169 (2008) |
| 2006 |
|---|
| 20 | EE | Alberto Ciaffaglione,
Pietro Di Gianantonio:
A certified, corecursive implementation of exact real numbers.
Theor. Comput. Sci. 351(1): 39-51 (2006) |
| 2004 |
|---|
| 19 | EE | Pietro Di Gianantonio:
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.
CSL 2004: 130-144 |
| 18 | EE | Pietro Di Gianantonio,
Marino Miculan:
Unifying Recursive and Co-recursive Definitions in Sheaf Categories.
FoSSaCS 2004: 136-150 |
| 17 | EE | Pietro Di Gianantonio,
Pier Luca Lanzi:
Lazy Algorithms for Exact Real Arithmetic.
Electr. Notes Theor. Comput. Sci. 104: 113-128 (2004) |
| 16 | EE | C.-H. Luke Ong,
Pietro Di Gianantonio:
Games characterizing Levy-Longo trees.
Theor. Comput. Sci. 312(1): 121-142 (2004) |
| 2002 |
|---|
| 15 | EE | C.-H. Luke Ong,
Pietro Di Gianantonio:
Games Characterizing Levy-Longo Trees.
ICALP 2002: 476-487 |
| 14 | EE | Pietro Di Gianantonio,
Marino Miculan:
A Unifying Approach to Recursive and Co-recursive Definitions.
TYPES 2002: 148-161 |
| 2001 |
|---|
| 13 | EE | Pietro Di Gianantonio:
Game Semantics for the Pure Lazy lambda-calculus.
TLCA 2001: 106-120 |
| 2000 |
|---|
| 12 | EE | Pietro Di Gianantonio,
Gianluca Franco:
The Fine Structure of Game Lambda Models.
FSTTCS 2000: 429-441 |
| 11 | EE | Alberto Ciaffaglione,
Pietro Di Gianantonio:
A Tour with Constructive Real Numbers.
TYPES 2000: 41-52 |
| 1999 |
|---|
| 10 | EE | Pietro Di Gianantonio,
Gianluca Franco,
Furio Honsell:
Game Semantics for Untyped lambda beta eta-Calculus.
TLCA 1999: 114-128 |
| 9 | EE | Alberto Ciaffaglione,
Pietro Di Gianantonio:
A Co-inductive Approach to Real Numbers.
TYPES 1999: 114-130 |
| 8 | EE | Pietro Di Gianantonio:
An Abstract Data Type for Real Numbers.
Theor. Comput. Sci. 221(1-2): 295-326 (1999) |
| 1998 |
|---|
| 7 | EE | Pietro Di Gianantonio,
Furio Honsell,
Luigi Liquori:
A Lambda Calculus of Objects with Self-Inflicted Extension.
OOPSLA 1998: 166-178 |
| 1997 |
|---|
| 6 | | Pietro Di Gianantonio:
An Abstract Data Type for Real Numbers.
ICALP 1997: 121-131 |
| 1996 |
|---|
| 5 | | Pietro Di Gianantonio:
Real Number Computability and Domain Theory.
Inf. Comput. 127(1): 11-25 (1996) |
| 1995 |
|---|
| 4 | | Pietro Di Gianantonio,
Furio Honsell,
Gordon D. Plotkin:
Uncountable Limits and the lambda Calculus.
Nord. J. Comput. 2(2): 126-145 (1995) |
| 1994 |
|---|
| 3 | | Pietro Di Gianantonio,
Furio Honsell,
Silvia Liani,
Gordon D. Plotkin:
Countable Non-Determinism and Uncountable Limits.
CONCUR 1994: 130-145 |
| 1993 |
|---|
| 2 | | Pietro Di Gianantonio:
Real Number Computability and Domain Theory.
MFCS 1993: 413-422 |
| 1 | | Pietro Di Gianantonio,
Furio Honsell:
An Abstract Notion of Application.
TLCA 1993: 124-138 |
