Travelled to:1 × Canada
1 × Hungary
1 × The Netherlands
2 × Poland
2 × Spain
4 × Italy
Collaborated with:F.Honsell ∅ M.Lenisa A.Edalat M.Miculan C.L.Ong G.Franco L.Liquori
Talks about:calculus (4) game (4) semant (3) abstract (2) recurs (2) cyclic (2) type (2) differenti (1) intersect (1) character (1)
Person: Pietro Di Gianantonio
DBLP: Gianantonio:Pietro_Di
Contributed to:
2013
2013200820042004
2002
20011999
199819971993Wrote 11 papers:
- CSL-2013-GianantonioL #game studies #semantics
- Innocent Game Semantics via Intersection Type Assignment Systems (PDG, ML), pp. 231–247.
- FoSSaCS-2013-GianantonioE
- A Language for Differentiable Functions (PDG, AE), pp. 337–352.
- FoSSaCS-2008-GianantonioHL #higher-order #λ-calculus
- RPO, Second-Order Contexts, and λ-Calculus (PDG, FH, ML), pp. 334–349.
- CSL-2004-Gianantonio #linear #logic #multi
- Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity (PDG), pp. 130–144.
- FoSSaCS-2004-GianantonioM #category theory #recursion
- Unifying Recursive and Co-recursive Definitions in Sheaf Categories (PDG, MM), pp. 136–150.
- ICALP-2002-OngG #game studies
- Games Characterizing Levy-Longo Trees (CHLO, PDG), pp. 476–487.
- TLCA-2001-Gianantonio #game studies #lazy evaluation #semantics #λ-calculus
- Game Semantics for the Pure Lazy λ-calculus (PDG), pp. 106–120.
- TLCA-1999-GianantonioFH #game studies #semantics #λ-calculus
- Game Semantics for Untyped λβη-Calculus (PDG, GF, FH), pp. 114–128.
- OOPSLA-1998-GianantonioHL #self #λ-calculus
- A λ Calculus of Objects with Self-Inflicted Extension (PDG, FH, LL), pp. 166–178.
- ICALP-1997-Gianantonio #data type
- An Abstract Data Type for Real Numbers (PDG), pp. 121–131.
- TLCA-1993-GianantonioH
- An Abstract Notion of Application (PDG, FH), pp. 124–138.