Travelled to:1 × Finland
Collaborated with:S.Abramsky D.R.Ghica A.S.Murawski C.L.Ong
Talks about:calculus (1) abstract (1) nomin (1) game (1) full (1)
Person: Ian D. B. Stark
DBLP: Stark:Ian_D=_B=
Contributed to:
2004Wrote 1 papers:
- LICS-2004-AbramskyGMOS #abstraction #calculus #game studies
- Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.