Ian D. B. Stark

	2004
2		Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian D. B. Stark: Nominal Games and Full Abstraction for the Nu-Calculus. LICS 2004: 150-159
	1993
1		Andrew M. Pitts, Ian D. B. Stark: Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new? MFCS 1993: 122-141

Coauthor Index

1	Samson Abramsky	[2]
2	Dan R. Ghica	[2]
3	Andrzej S. Murawski	[2]
4	C.-H. Luke Ong	[2]
5	Andrew M. Pitts	[1]