Travelled to:1 × Italy
Collaborated with:P.D.Gianantonio F.Honsell
Talks about:calculus (1) semant (1) untyp (1) game (1)
Person: Gianluca Franco
 DBLP: Franco:Gianluca
Contributed to:
Wrote 1 papers:
- TLCA-1999-GianantonioFH #game studies #semantics #λ-calculus
 - Game Semantics for Untyped λβη-Calculus (PDG, GF, FH), pp. 114–128.
 












