Conference item icon

Conference item

Nominal games and Full Abstraction for the Nu−Calculus

Actions

Access Document

Files:

Authors


Publisher:
IEEE
Host title:
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004
Publication date:
2004-01-01


UUID:
uuid:1ad43bbf-ec95-4100-9bed-cb3f2b2502e6
Local pid:
cs:1845
Deposit date:
2015-03-31
ARK identifier:

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP