Nominal games and Full Abstraction for the Nu−Calculus
S. Abramsky‚ D. Ghica‚ A. Murawski‚ C.−H. Ong and I. Stark
Book Title
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004
Pages
150−159
Publisher
IEEE Computer Society
Year
2004