Nominal games and Full Abstraction for the Nu-Calculus
S. Abramsky, D. Ghica, A. Murawski, C.-H. Ong and I. Stark
Details
| 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 |
Links
Related pages
|
People |