Ian David Bede Stark

Publication Activity (10 Years)

Years Active: 1993-2004
Publications (10 Years): 0

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark
Nominal Games and Full Abstraction for the Nu-Calculus. LICS (2004)
Andrew M. Pitts, Ian David Bede Stark
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new? MFCS (1993)