Nominal games and Full Abstraction for the Nu−Calculus

Nominal games and Full Abstraction for the Nu−Calculus

Bibliographic Details
Main Authors: Abramsky, S, Ghica, D, Murawski, A, Ong, C, Stark, I
Format: Conference item
Published: IEEE 2004
Description
Summary:

Similar Items