| |
| 2004 | ||
|---|---|---|
| 2 | EE | 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 | |
| 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] |