Nominal games and Full Abstraction for the Nu−Calculus (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004, 2004)

(untitled) - Abramsky, S; Ghica, D; Murawski, A; Ong, C; Stark, I