BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gianantonio:Pietro_Di

Contributed to:

CSL 20132013
FOSSACS 20132013
FoSSaCS 20082008
CSL 20042004
FoSSaCS 20042004
ICALP 20022002
TLCA 20012001
TLCA 19991999
OOPSLA 19981998
ICALP 19971997
TLCA 19931993

Wrote 11 papers:

CSL-2013-GianantonioL #game studies #semantics
Innocent Game Semantics via Intersection Type Assignment Systems (PDG, ML), pp. 231–247.
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.
An Abstract Notion of Application (PDG, FH), pp. 124–138.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.