Pietro Di Gianantonio

	2009
24		Pietro Di Gianantonio, Furio Honsell, Marina Lenisa: RPO, Second-order Contexts, and Lambda-calculus Logical Methods in Computer Science 5(3): (2009)
	2008
23		Pietro Di Gianantonio, Furio Honsell, Marina Lenisa: RPO, Second-Order Contexts, and lambda-Calculus. FoSSaCS 2008: 334-349
22		Pietro Di Gianantonio, Furio Honsell, Marina Lenisa: Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. WADT 2008: 119-134
21		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		Alberto Ciaffaglione, Pietro Di Gianantonio: A certified, corecursive implementation of exact real numbers. Theor. Comput. Sci. 351(1): 39-51 (2006)
	2004
19		Pietro Di Gianantonio: Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. CSL 2004: 130-144
18		Pietro Di Gianantonio, Marino Miculan: Unifying Recursive and Co-recursive Definitions in Sheaf Categories. FoSSaCS 2004: 136-150
17		Pietro Di Gianantonio, Pier Luca Lanzi: Lazy Algorithms for Exact Real Arithmetic. Electr. Notes Theor. Comput. Sci. 104: 113-128 (2004)
16		C.-H. Luke Ong, Pietro Di Gianantonio: Games characterizing Levy-Longo trees. Theor. Comput. Sci. 312(1): 121-142 (2004)
	2002
15		C.-H. Luke Ong, Pietro Di Gianantonio: Games Characterizing Levy-Longo Trees. ICALP 2002: 476-487
14		Pietro Di Gianantonio, Marino Miculan: A Unifying Approach to Recursive and Co-recursive Definitions. TYPES 2002: 148-161
	2001
13		Pietro Di Gianantonio: Game Semantics for the Pure Lazy lambda-calculus. TLCA 2001: 106-120
	2000
12		Pietro Di Gianantonio, Gianluca Franco: The Fine Structure of Game Lambda Models. FSTTCS 2000: 429-441
11		Alberto Ciaffaglione, Pietro Di Gianantonio: A Tour with Constructive Real Numbers. TYPES 2000: 41-52
	1999
10		Pietro Di Gianantonio, Gianluca Franco, Furio Honsell: Game Semantics for Untyped lambda beta eta-Calculus. TLCA 1999: 114-128
9		Alberto Ciaffaglione, Pietro Di Gianantonio: A Co-inductive Approach to Real Numbers. TYPES 1999: 114-130
8		Pietro Di Gianantonio: An Abstract Data Type for Real Numbers. Theor. Comput. Sci. 221(1-2): 295-326 (1999)
	1998
7		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

Coauthor Index

1	Alberto Ciaffaglione	[9] [11] [20]
2	Gianluca Franco	[10] [12]
3	Furio Honsell	[1] [3] [4] [7] [10] [21] [22] [23] [24]
4	Pier Luca Lanzi	[17]
5	Marina Lenisa	[21] [22] [23] [24]
6	Silvia Liani	[3]
7	Luigi Liquori	[7]
8	Marino Miculan	[14] [18]
9	C.-H. Luke Ong	[15] [16]
10	Gordon D. Plotkin	[3] [4]

Colors in the list of coauthors