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.

Abstract

Abstract is missing.