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 |