Nominal games and Full Abstraction for the Nu-Calculus
S. Abramsky, D. Ghica, A. Murawski, C.-H. Ong and I. Stark infobook title | Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004 |
pages | 150-159 |
publisher | IEEE Computer Society |
year | 2004 |
links
BibTeX
Download (pdf)
related pages
|
