Exhausting strategies, joker games and full completeness for IMLL with Unit

Andrzej S. Murawski, C.-H. Luke Ong. Exhausting strategies, joker games and full completeness for IMLL with Unit. Theoretical Computer Science, 294(1/2):269-305, 2003.

Possibly Related Publications

The following publications are possibly variants of this publication: