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 × 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 DBLP: Stark:Ian_D=_B=

Contributed to:

LICS 20042004

Wrote 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.

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.