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.